 |
FacultyDr. Munindar P. Singh is a Professor in Computer Science at North Carolina State University. Munindar's research interests include multiagent systems and service-oriented computing, wherein he addresses the challenges of trust, service discovery, and business processes and protocols in large-scale open environments.
Computer and network security; Peer-to-peer computing and overlay networks. Real-time communication and quality of service in networks; network services, including voice.Dr. Vouk's research and development interests include software engineering (software and system process and risk management, testing, reliability, fault-tolerance), scientific computing (bioinformatics, biophysics, management of scientific data and knowledge, application of engineering methods to genetics, development of numerical and scientific software-based systems, parallel and grid computing, support for scientific problem-solving, agent-assisted workflow support, middlware), computer-based education (network-based education, distance learning, education workflows), and high-performance networks (end-to-end and end-user quality of service, network security, forward error correction in high-speed networks, networking middleware, empirical evaluation of modern networking solutions). Software engineering, requirements engineering, information privacy and security, policy, software processes, web-based software applications and management information systems.Agile software development methodologies and practices, collaborative/pair programming, software reliability and testing (particularly of secure applications).Tao Xie's major research interests include automated software testing and verification, mining software engineering data, software security testing and analysis, testing and analysis of aspect-oriented programs, testing and analysis of web services and applications, software evolution, and program comprehension. His research has exploited inferred program properties to improve automated software testing in the absence of specifications. Besides doing research, he has contributed to understanding the software engineering research community.Aldo's interests include agile methodologies; knowledge-intensive engineering applied to manufacturing; object-oriented manufacturing systems; process re-engineering; and in general, the implementation of advanced information technologies in manufacturing environments.Alan W. Brown is an IBM Distinguished Engineer at IBM Rational software,and an Adjunct Professor at NCSU. At IBM, Alan is responsible for product strategy for IBM Rational's design and construction tools. Alan's specific focus is Model Driven Development (MDD) products. In this capacity he defines strategy and consults on release of products aimed at improving software development efficiency through visual modeling, generating code from abstract models, and systematic reuse. This involves working with engineering teams on product architecture, product management groups on creating release plans, and marketing and field teams on positioning IBM Rational's products and services. Formal Software Verification; model checking, semantic equivalence checking, formal verification of real-time systems, probabilistic system models: Markov chains, Markov decision processes, Stochastic games; automated verification of reliability and performance properties. Formal methods, Programming Language Semantics, Formal aspects of Software Engineering, and Regulatory review of software in medical devices.Dr. Gehringer's interests include object-oriented design and language issues, collaborative learning environments, and open-source development in college classes, as well as memory management and parallel computer architecture. |
