| Kenneth M. Anderson Associate Professor, Director of Undergraduate Studies and Associate Chair Human-Centered Computing (Human-Computer Interaction) Software (Software Engineering) Software engineering; hypermedia and the WWW; human-computer interaction; computer-supported cooperative work. | |
 |
| John K. Bennett Professor and Director of ATLAS Institute Systems (Networks) Systems (Operating Systems) Distributed information management; distributed robotic sensors; digital divide. | |
 |
| John R. Black Associate Professor Theory (Security) Cryptography; network security; provable security; efficient implementations; probabilistic algorithms. | |
 |
| Elizabeth Bradley Professor Numerical and Scientific Computation (Nonlinear Dynamics) Scientific computation and AI; nonlinear dynamics and chaos. | |
 |
| Timothy X. Brown Associate Professor (Department of Electrical, Computer and Energy Engineering) Systems (Networks) Adaptive network control; machine learning; wireless communications systems. | |
 |
| Richard H. Byrd Professor Numerical and Scientific Computation (Optimization) Nonlinear optimization; linear programming; numerical linear algebra; nonlinear data fitting; global optimization in molecular chemistry; parallel computing. | |
 |
| Xiao-Chuan Cai Professor Numerical and Scientific Computation (Scientific Computing) Scientific computing; parallel algorithms and software for partial differential equations. | |
 |
| Bor-Yuh Evan Chang Assistant Professor Software (Programming Languages and Compilers) Tools and techniques for building, understanding, and ensuring reliable computational systems. | |
 |
| Aaron Clauset Assistant Professor Numerical and Scientific Computation (Nonlinear Dynamics) Artificial Intelligence (Machine Learning) Theory (Algorithms) Complex networks; statistical forecasting; stochastic processes; massive data sets; terrorism, war and societal dynamics; macroevolution; computational biology and biological computation; engineering complex systems. | |
 |
| Eliana Colunga Assistant Professor (Department of Psychology) Artificial Intelligence (Cognitive Science) Artificial Intelligence (Speech and Language) Cognitive development; language acquisition; word learning; neural networks; connectionist modeling. | |
 |
| Nikolaus J. Correll Assistant Professor Artificial Intelligence (Multi-Robot Systems) Analysis and design of large-scale distributed intelligent systems; mixed animal-robot societies; tracking and monitoring of collective systems. | |
 |
| Christopher J. DiGiano Adjoint Assistant Professor (Google, Inc.) Artificial Intelligence (Cognitive Science) Human-Centered Computing (Educational Technology) Learning tool creation; design of pedagogical programming environments; mobile learning devices; design of educational software; wireless handheld devices in collaborative classrooms. | |
 |
| Geoffrey Dorn Adjoint Assistant Professor (TerraSpark Geosciences) Human-Centered Computing (Human-Computer Interaction) Human-computer interaction; visualization; virtual reality; human perception (visual, audio and haptic). | |
 |
| Robin D. Dowell Assistant Professor (Department of Molecular, Cellular, and Developmental Biology) Artificial Intelligence (Machine Learning) Genomics; noncoding transcription; comparative genomics; transcriptional regulation; bioinformatics; probabilistic models; pattern recognition. | |
 |
| Andrzej Ehrenfeucht Distinguished Professor Theory (Automata Theory) Theory of computation; combinatorics; mathematical biology; mathematics education. | |
 |
| Ann N. Eisenberg Adjunct Assistant Professor (University of Colorado Boulder) Human-Centered Computing (Educational Technology) Design of educational software; spatial cognition; mathematics and science education; craft technology; museum exhibit design for mathematics and science education. | |
 |
| Michael A. Eisenberg Professor Artificial Intelligence (Cognitive Science) Human-Centered Computing (Educational Technology) Educational computing; mathematics and science education; learnability of programming languages; scientific computation. | |
 |
| Clarence A. (Skip) Ellis Professor Emeritus Human-Centered Computing (Collaborative Computing) Computer Supported Collaborative Work (CSCW); workflow; groupware; introductory computer science; Java programming. | |
 |
| Gerhard Fischer Professor and Director, Center for Lifelong Learning and Design Artificial Intelligence (Cognitive Science) Human-Centered Computing (Lifelong Learning) Computer-supported collaborative work (CSCW) and computer-supported collaborative learning; artificial intelligence; cognitive science. | |
 |
| Lloyd D. Fosdick Professor Emeritus Numerical and Scientific Computation (Scientific Computing) Scientific computing; numerical dynamics; cluster dynamics and stability; history of computation. | |
 |
| Harold N. (Hal) Gabow Professor Emeritus Theory (Algorithms) Design and analysis of algorithms; graph algorithms; combinatorial optimization. | |
 |
| Debra S. Goldberg Assistant Professor Theory (Algorithms) Combinatorial algorithms; graph theory; computational molecular biology; genomic network analysis; analysis of noisy and error-prone data. | |
 |
| Dirk C. Grunwald Professor Systems (Architecture) Systems (Networks) Systems (Operating Systems) Computer architecture; object parallel languages and scalable runtime systems for distributed cache architectures. | |
 |
| Richard Y. Han Associate Professor Systems (Networks) Systems (Operating Systems) Ubiquitous computing/pervasive computing; distributed mobile applications; context-aware smart spaces and sensor networks. | |
 |
| Dennis M. Heimbigner Adjunct Assistant Professor (University Corporation for Atmospheric Research) Software (Software Engineering) Distributed component object systems; databases; operating systems; configuration management; distributed component object systems; databases. | |
 |
| Lawrence Hunter Professor (Computational Bioscience Program) Artificial Intelligence (Machine Learning) Development and application of advanced computational techniques for biomedicine, particularly application of machine learning and statistical inference techniques to high throughput molecular assays; automated processing of biomedical texts; anatomically realistic models of neural computation; neurobiologically and evolutionarily informed computational models of cognition. | |
 |
| Elizabeth R. Jessup Professor Numerical and Scientific Computation (High-Performance Computing) High-performance scientific computing; numerical linear algebra; design, analysis, and implementation of serial and parallel algorithms for matrix algebra problems. | |
 |
| Roger A. (Buzz) King Professor Software (Databases) Databases, data integration, database-centric web apps, and multimedia and animation data management. | |
 |
| Rob Knight Associate Professor (Department of Chemistry and Biochemistry) Artificial Intelligence (Machine Learning) Human microbiome; microbial community analysis; genomics; bioinformatics; computational biology; phylogenetic trees; horizontal gene transfer; pattern recognition; statistical classification; databases. | |
 |
| Clayton H. Lewis Professor Artificial Intelligence (Cognitive Science) Human-Centered Computing (Human-Computer Interaction) User interface design; human-computer interaction; cognitive architectures; design of programming languages; end-user programming; computer supported negotiation; computer modeling in elementary science. | |
 |
| Qin (Christine) Lv Assistant Professor Systems (Networks) Efficient systems design for massive data; search systems; data management; distributed systems; online social communities. | |
 |
| Michael G. Main Professor Theory (Mathematical Theory of Computation) Theory of computation; introductory programming; undergraduate program. | |
 |
| James H. Martin Professor and Chair Artificial Intelligence (Cognitive Science) Artificial Intelligence (Speech and Language) Natural language processing; computational linguistics; information retrieval; machine learning. | |
 |
| Tarek P. A. Mathew Adjunct Professor (University of Colorado Boulder) Numerical and Scientific Computation (Scientific Computing) Algorithms and theory for the numerical solution of partial differential equations; computational biology; bioinformatics; functional genomics; computational finance. | |
 |
| Oliver McBryan Professor Emeritus Numerical and Scientific Computation (Parallel Computation) Heterogeneous computing; MPP benchmarking and performance evaluation; parallel compilation and transformation tools; scalable networking; scalable runtime support for MPP systems. | |
 |
| Shivakant Mishra Associate Professor and Director of Graduate Studies Systems (Networks) Dependable distributed systems; communication protocols; operating systems. | |
 |
| Michael C. Mozer Professor Artificial Intelligence (Machine Learning) Cognitive science and cognitive neuroscience; computational modeling of human perception and cognition; machine learning; data mining. | |
 |
| Jane Mulligan Research Assistant Professor Artificial Intelligence (Computer Vision) Image-based virtual environments; stereo; vision-based robot navigation; human modeling and pose estimation; signal analysis and prediction for medical monitoring. | |
 |
| Evi Nemeth Associate Professor Attendant Rank Emeritus Systems (Operating Systems) Networks; data structures; UNIX tools; C programming; system administration; network protocols; measurements; multicast; multimedia conferencing on the Internet; WWW repository design; combinatorics; cryptography. | |
 |
| Gary J. Nutt Professor Emeritus Systems (Operating Systems) Operating systems; kernel programming; distributed systems and software; small systems; soft real-time; networks; web applications, collaboration technology; and computer science education. | |
 |
| Leysia A. Palen Associate Professor Human-Centered Computing (Computer Supported Cooperative Work) Computer Supported Cooperative Work (CSCW); Human-Computer Interaction (HCI); groupware studies; wireless computing adoption and practice. | |
 |
| Martha S. Palmer Professor (Department of Linguistics) Artificial Intelligence (Cognitive Science) Artificial Intelligence (Speech and Language) Representation of semantic information and its use in natural language processing applications; interactions between syntax, semantics and pragmatics; shallow semantic processing of biomedical literature. | |
 |
| Alexander Repenning Research Associate Professor Human-Centered Computing (Lifelong Learning) Visual programming; interactive simulation; computers in education; agents. | |
 |
| Grzegorz Rozenberg Adjunct Professor (Leiden University) Theory (Automata Theory) DNA computing; theory of concurrent systems, in particular theory of Petri nets, theory of transition systems, and theory of traces; theory of graph transformations; formal language and automata theory; mathematical structures useful in computer science, in particular theory of 2-structures; Computer Supported Cooperative Work. | |
 |
| Bruce W. Sanders Senior Instructor Emeritus Software (Software Engineering) Senior projects; undergraduate program and advising; industry-university collaboration; recruiting; intercollegiate athletics; departmental website. | |
 |
| Sriram Sankaranarayanan Assistant Professor Theory (Mathematical Theory of Computation) Theory (Formal Methods) Software (Programming Languages and Compilers) Verification, specification and modeling of systems; embedded, real time, concurrent and hybrid systems; constraint solving, optimization and decision procedures; automata, programming language theory and logic. | |
 |
| Robert B. (Bobby) Schnabel Professor Emeritus Numerical and Scientific Computation (Optimization) Numerical optimization; solution of systems of nonlinear equations; nonlinear least squares; parallel numerical languages and tools; parallel algorithms; applications of optimization to molecular chemistry. | |
 |
| Willem A. (Vlakkies) Schreüder Adjunct Assistant Professor (Principia Mathematica, Inc.) Numerical and Scientific Computation (Scientific Computing) Mathematical modeling of complex systems; scientific computing; computer graphics. | |
 |
| Douglas C. Sicker Associate Professor Systems (Networks) Cognitive and software defined radios; network performance; telecommunications policy. | |
 |
| Jeremy G. Siek Assistant Professor (Department of Electrical, Computer and Energy Engineering) Software (Programming Languages and Compilers) Language design and implementation for improving support for software libraries and domain specific languages, including research in type systems, program logics, and facilities for program generation; software library development using generic programming for domains including but not limited to high-performance linear algebra and graph algorithms. | |
 |
| Katie A. Siek Assistant Professor Human-Centered Computing (Human-Computer Interaction) Human-computer interaction; ubiquitous computing; health informatics. | |
 |
| Tamara R. Sumner Associate Professor Artificial Intelligence (Cognitive Science) Human-Centered Computing (Computer Supported Cooperative Work) Education and educational technology; interactive publishing; socio-technical design. | |
 |
| Henry M. Tufo Professor Numerical and Scientific Computation (Scientific Computing) High-performance scientific computing; scalable multilevel solvers; lightweight software tools; immersive visualization. | |
 |
| William M. Waite Professor Emeritus Software (Programming Languages and Compilers) Automation of compiler construction; programming language principles; programming methodology; computer architecture; operating system principles. | |
 |
| Wayne H. Ward Research Professor Artificial Intelligence (Speech and Language) Speech recognition; robust parsing of spoken input; integrating natural language processing with speech decoding; conversational voice interface. | |
 |
| Elizabeth K. White Instructor Software (Software Engineering) interests TBD | |
 |
| Karl A. Winklmann Senior Instructor Emeritus Theory (Mathematical Theory of Computation) Introductory programming; undergraduate program. | |
 |
| Alexander L. Wolf Adjunct Professor (Imperial College London) Software (Software Engineering) Engineering of large, complex software systems; distributed systems and networks; configuration management; security and protection; software architecture; software process; tools and environments; persistent object systems. | |
 |