skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · people · faculty · 
 

Faculty Directory by Research Area

 
by Name by Area by Title
Artificial Intelligence
Artificial Intelligence (Cognitive Science)
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.
 
University of Colorado Boulder
Department of Psychology
345 UCB
Boulder, CO 80309-0345 USA

+1-303-492-4282
office: MUEN D447B
hours: by appointment
vCard email home page
 
Eliana Colunga photo
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.
 
Google, Inc.
2590 Pearl Street, Suite 110
Boulder, CO 80302 USA

+1-303-800-2922
vCard email home page
 
Christopher DiGiano photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-8091
+1-303-492-2844 (FAX)
office: ECOT 736
hours: by appointment
vCard email home page
 
Michael Eisenberg photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-1502
+1-303-492-2844 (FAX)
office: ECOT 737
hours: by appointment
vCard email home page
 
Gerhard Fischer photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6657
+1-303-492-2844 (FAX)
office: ECOT 524
hours: by appointment
vCard email home page
 
Clayton Lewis photo
James H. Martin
Professor and Chair
Artificial Intelligence (Cognitive Science)
Artificial Intelligence (Speech and Language)
Natural language processing; computational linguistics; information retrieval; machine learning.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-3552
+1-303-492-2844 (FAX)
office: ECOT 735
hours: by appointment
vCard email home page
 
James Martin photo
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.
 
University of Colorado Boulder
Department of Linguistics
295 UCB
Boulder, CO 80309-0295 USA

+1-303-492-1300
office: HLMS 295
hours: by appointment
vCard email home page
 
Martha Palmer photo
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.
 
University of Colorado Boulder
Computer and Cognitive Science
594 UCB
Boulder, CO 80309-0594 USA

+1-303-735-4469
+1-303-735-5072 (FAX)
office: ECOT 525
hours: by appointment
vCard email home page
 
Tamara Sumner photo
Artificial Intelligence (Computer Vision)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-4591
+1-303-492-2844 (FAX)
office: ECOT 527
hours: by appointment
vCard email home page
 
Jane Mulligan photo
Artificial Intelligence (Machine Learning)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6643
+1-303-492-2844 (FAX)
office: ECOT 743
hours: by appointment
vCard email home page
 
Aaron Clauset photo
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.
 
University of Colorado Boulder
Department of Molecular, Cellular, and Developmental Biology
347 UCB
Boulder, CO 80309-0347 USA

+1-303-492-8204
office: PORT B160A
hours: by appointment
vCard email home page
 
Robin Dowell photo
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.
BS, MS, PhD, Yale University
 
University of Colorado School of Medicine
Computational Bioscience Program
Mail Stop 8303
PO Box 6511
Aurora, CO 80045 USA

+1-303-724-3574
office: P18-6101
hours: by appointment
vCard email home page
 
Lawrence Hunter photo
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.
 
University of Colorado Boulder
Department of Chemistry and Biochemistry
215 UCB
Boulder, CO 80309-0215 USA

+1-303-492-1984
+1-303-492-5894 (FAX)
office: PORT B047A
hours: by appointment
vCard email home page
 
Rob Knight photo
Michael C. Mozer
Professor
Artificial Intelligence (Machine Learning)
Cognitive science and cognitive neuroscience; computational modeling of human perception and cognition; machine learning; data mining.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-4103
+1-303-492-2844 (FAX)
office: ECOT 741
hours: by appointment
vCard email home page
 
Michael Mozer photo
Artificial Intelligence (Multi-Robot Systems)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-2233
+1-303-492-2844 (FAX)
office: ECOT 733
hours: by appointment
vCard email home page
 
Nikolaus Correll photo
Artificial Intelligence (Speech and Language)
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.
 
University of Colorado Boulder
Department of Psychology
345 UCB
Boulder, CO 80309-0345 USA

+1-303-492-4282
office: MUEN D447B
hours: by appointment
vCard email home page
 
Eliana Colunga photo
James H. Martin
Professor and Chair
Artificial Intelligence (Cognitive Science)
Artificial Intelligence (Speech and Language)
Natural language processing; computational linguistics; information retrieval; machine learning.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-3552
+1-303-492-2844 (FAX)
office: ECOT 735
hours: by appointment
vCard email home page
 
James Martin photo
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.
 
University of Colorado Boulder
Department of Linguistics
295 UCB
Boulder, CO 80309-0295 USA

+1-303-492-1300
office: HLMS 295
hours: by appointment
vCard email home page
 
Martha Palmer photo
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.
 
University of Colorado Boulder
Center for Computational Language and Education Research
594 UCB
Boulder, CO 80309-0594 USA

+1-303-938-2583
+1-303-938-2584 (FAX)
office: CINC 182D
vCard email
 
Wayne Ward photo
Human-Centered Computing
Human-Centered Computing (Collaborative Computing)
Clarence A. (Skip) Ellis
Professor Emeritus
Human-Centered Computing (Collaborative Computing)
Computer Supported Collaborative Work (CSCW); workflow; groupware; introductory computer science; Java programming.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA


hours: by appointment
vCard email home page
 
Clarence (Skip) Ellis photo
Human-Centered Computing (Computer Supported Cooperative Work)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-3902
+1-303-492-2844 (FAX)
office: ECCS 111B
hours: by appointment
vCard email home page
 
Leysia Palen photo
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.
 
University of Colorado Boulder
Computer and Cognitive Science
594 UCB
Boulder, CO 80309-0594 USA

+1-303-735-4469
+1-303-735-5072 (FAX)
office: ECOT 525
hours: by appointment
vCard email home page
 
Tamara Sumner photo
Human-Centered Computing (Educational Technology)
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.
 
Google, Inc.
2590 Pearl Street, Suite 110
Boulder, CO 80302 USA

+1-303-800-2922
vCard email home page
 
Christopher DiGiano photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-735-6042
+1-303-492-2844 (FAX)
office: DLC 1B14
hours: by appointment
vCard email home page
 
Ann Eisenberg photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-8091
+1-303-492-2844 (FAX)
office: ECOT 736
hours: by appointment
vCard email home page
 
Michael Eisenberg photo
Human-Centered Computing (Human-Computer Interaction)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6003
+1-303-492-2844 (FAX)
office: ECCS 111A
hours: by appointment
vCard email home page
 
Kenneth Anderson photo
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).
 
TerraSpark Geosciences
2525 Arapahoe Avenue
Unit E4 PMB 143
Boulder, CO 80302-6746 USA

+1-303-807-8659
vCard email
 
Geoffrey Dorn photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6657
+1-303-492-2844 (FAX)
office: ECOT 524
hours: by appointment
vCard email home page
 
Clayton Lewis photo
Katie A. Siek
Assistant Professor
Human-Centered Computing (Human-Computer Interaction)
Human-computer interaction; ubiquitous computing; health informatics.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-5066
+1-303-492-2844 (FAX)
office: ECST 322C
hours: MT 10:00am-11:00am
vCard email home page
 
Katie Siek photo
Human-Centered Computing (Lifelong Learning)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-1502
+1-303-492-2844 (FAX)
office: ECOT 737
hours: by appointment
vCard email home page
 
Gerhard Fischer photo
Alexander Repenning
Research Professor
Human-Centered Computing (Lifelong Learning)
Visual programming; interactive simulation; computers in education; agents.
BS, Engineering College, Brugg-Windisch, Switzerland; MS, PhD, University of Colorado Boulder
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-1349
+1-303-492-2844 (FAX)
office: ECOT 826
hours: by appointment
vCard email home page
 
Alexander Repenning photo
Numerical and Scientific Computation
Numerical and Scientific Computation (High-Performance Computing)
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.
BA, Williams College; MS, MPhil, PhD, Yale University
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0211
+1-303-492-2844 (FAX)
office: ECOT 625
hours: by appointment
vCard email home page
 
Elizabeth Jessup photo
Numerical and Scientific Computation (Nonlinear Dynamics)
Elizabeth Bradley
Professor
Numerical and Scientific Computation (Nonlinear Dynamics)
Scientific computation and AI; nonlinear dynamics and chaos.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-5355
+1-303-492-2844 (FAX)
office: ECOT 747
hours: by appointment
vCard email home page
 
Elizabeth Bradley photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6643
+1-303-492-2844 (FAX)
office: ECOT 743
hours: by appointment
vCard email home page
 
Aaron Clauset photo
Numerical and Scientific Computation (Optimization)
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.
BA, MA, PhD, Rice University
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-8014
+1-303-492-2844 (FAX)
office: ECOT 620
hours: by appointment
vCard email home page
 
Richard Byrd photo
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.
 
Indiana University
School of Informatics
901 East 10th Street
Bloomington, IN 47408-3912 USA

+1-812-856-1079
+1-812-856-4764 (FAX)
vCard email home page
 
Robert (Bobby) Schnabel photo
Numerical and Scientific Computation (Parallel Computation)
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.
  
Oliver McBryan photo
Numerical and Scientific Computation (Scientific Computing)
Xiao-Chuan Cai
Professor
Numerical and Scientific Computation (Scientific Computing)
Scientific computing; parallel algorithms and software for partial differential equations.
BS, Beijing University; MS, PhD, New York University
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-3746
+1-303-492-2844 (FAX)
office: ECOT 726
hours: by appointment
vCard email home page
 
Xiao-Chuan Cai photo
Lloyd D. Fosdick
Professor Emeritus
Numerical and Scientific Computation (Scientific Computing)
Scientific computing; numerical dynamics; cluster dynamics and stability; history of computation.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-682-9070
+1-303-492-2844 (FAX)
vCard email
 
Lloyd Fosdick photo
Kenny M. Gruchalla
Adjunct Assistant Professor (National Renewable Energy Laboratory)
Numerical and Scientific Computation (Scientific Computing)
Scientific visualization; immersive visualization; high-performance scientific computing; computer graphics.
 
National Renewable Energy Laboratory
1617 Cole Blvd.
Golden, CO 80401 USA

+1-303-275-3713
vCard email home page
 
Kenny Gruchalla photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-415-876-5424
+1-303-492-2844 (FAX)
vCard email
 
Tarek Mathew photo
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.
BSc, Hons. BSc, MSc, PhD, Stellenbosch University; MS, PhD, University of Colorado Boulder
 
Principia Mathematica, Inc.
445 Union Boulevard, Suite #230
Lakewood, CO 80228 USA

+1-303-716-3573
+1-303-716-3575 (FAX)
hours: by appointment
vCard email
 
Willem (Vlakkies) Schreüder photo
Henry M. Tufo
Professor
Numerical and Scientific Computation (Scientific Computing)
High-performance scientific computing; scalable multilevel solvers; lightweight software tools; immersive visualization.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-2771
+1-303-492-2844 (FAX)
office: ECOT 623
hours: by appointment
vCard email home page
 
Henry Tufo photo
Software
Software (Databases)
Roger A. (Buzz) King
Professor
Software (Databases)
Databases, data integration, database-centric web apps, and multimedia and animation data management.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-437-7419
+1-303-492-2844 (FAX)
office: ECOT 749
hours: by appointment
vCard email home page
 
Roger (Buzz) King photo
Software (Programming Languages and Compilers)
Bor-Yuh Evan Chang
Assistant Professor
Software (Programming Languages and Compilers)
Tools and techniques for building, understanding, and ensuring reliable computational systems.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-8894
+1-303-492-2844 (FAX)
office: ECOT 621
hours: by appointment
vCard email home page
 
Bor-Yuh Evan Chang photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6580
+1-303-492-2844 (FAX)
office: ECOT 624
hours: by appointment
vCard email home page
 
Sriram Sankaranarayanan photo
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.
 
University of Colorado Boulder
Department of Electrical, Computer and Energy Engineering
425 UCB
Boulder, CO 80309-0425 USA

+1-303-492-5069
office: ECOT 342
hours: by appointment
vCard email home page
 
Jeremy Siek photo
William M. Waite
Professor Emeritus
Software (Programming Languages and Compilers)
Automation of compiler construction; programming language principles; programming methodology; computer architecture; operating system principles.
 
University of Colorado Boulder
Department of Electrical, Computer and Energy Engineering
425 UCB
Boulder, CO 80309-0425 USA

+1-303-492-7204
office: ECEE 1B63
hours: by appointment
vCard email home page
 
William Waite photo
Software (Software Engineering)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6003
+1-303-492-2844 (FAX)
office: ECCS 111A
hours: by appointment
vCard email home page
 
Kenneth Anderson photo
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.
 
University Corporation for Atmospheric Research
Unidata
1850 Table Mesa Drive
Boulder, CO 80307 USA

+1-303-497-8658
vCard email home page
 
Dennis Heimbigner photo
Bruce W. Sanders
Senior Instructor Emeritus
Software (Software Engineering)
Senior projects; undergraduate program and advising; industry-university collaboration; recruiting; intercollegiate athletics; departmental website.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-8118
+1-303-492-2844 (FAX)
hours: by appointment
vCard email home page
 
Bruce Sanders photo
Elizabeth K. White
Instructor
Software (Software Engineering)
interests TBD
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-2717
+1-303-492-2844 (FAX)
office: ECOT 822
hours: by appointment
vCard email home page
 
Elizabeth White photo
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.
 
Imperial College London
Department of Computing
180 Queen's Gate
London, SW7 2AZ United Kingdom

+44(0)20-7594-8355
+44(0)20-7594-8282 (FAX)
vCard email home page
 
Alexander Wolf photo
Systems
Systems (Architecture)
Dirk C. Grunwald
Professor
Systems (Architecture)
Systems (Networks)
Systems (Operating Systems)
Computer architecture; object parallel languages and scalable runtime systems for distributed cache architectures.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0452
+1-303-492-2844 (FAX)
office: ECCR 1B50D
hours: by appointment
vCard email home page
 
Dirk Grunwald photo
Systems (Networks)
John K. Bennett
Professor and Director of ATLAS Institute
Systems (Networks)
Systems (Operating Systems)
Distributed information management; distributed robotic sensors; digital divide.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0988
+1-303-492-2844 (FAX)
office: ATLS 213
hours: by appointment
vCard email home page
 
John Bennett photo
Timothy X. Brown
Associate Professor (Department of Electrical, Computer and Energy Engineering)
Systems (Networks)
Adaptive network control; machine learning; wireless communications systems.
 
University of Colorado Boulder
Department of Electrical, Computer and Energy Engineering
425 UCB
Boulder, CO 80309-0425 USA

+1-303-492-1630
+1-303-492-1112 (FAX)
office: ECOT 256
hours: by appointment
vCard email home page
 
Timothy Brown photo
Dirk C. Grunwald
Professor
Systems (Architecture)
Systems (Networks)
Systems (Operating Systems)
Computer architecture; object parallel languages and scalable runtime systems for distributed cache architectures.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0452
+1-303-492-2844 (FAX)
office: ECCR 1B50D
hours: by appointment
vCard email home page
 
Dirk Grunwald photo
Richard Y. Han
Associate Professor
Systems (Networks)
Systems (Operating Systems)
Ubiquitous computing/pervasive computing; distributed mobile applications; context-aware smart spaces and sensor networks.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0914
+1-303-492-2844 (FAX)
office: ECCR 1B05F
hours: by appointment
vCard email home page
 
Richard Han photo
Qin (Christine) Lv
Assistant Professor
Systems (Networks)
Efficient systems design for massive data; search systems; data management; distributed systems; online social communities.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-8821
+1-303-492-2844 (FAX)
office: ECCR 1B05C
hours: by appointment
vCard email home page
 
Qin (Christine) Lv photo
Shivakant Mishra
Associate Professor and Director of Graduate Studies
Systems (Networks)
Dependable distributed systems; communication protocols; operating systems.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-4686
+1-303-492-2844 (FAX)
office: ECCR 1B05B
hours: by appointment
vCard email home page
 
Shivakant Mishra photo
Douglas C. Sicker
Associate Professor
Systems (Networks)
Cognitive and software defined radios; network performance; telecommunications policy.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-735-4949
+1-303-735-1112 (FAX)
office: ECCR 1B54A
hours: by appointment
vCard email home page
 
Douglas Sicker photo
Systems (Operating Systems)
John K. Bennett
Professor and Director of ATLAS Institute
Systems (Networks)
Systems (Operating Systems)
Distributed information management; distributed robotic sensors; digital divide.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0988
+1-303-492-2844 (FAX)
office: ATLS 213
hours: by appointment
vCard email home page
 
John Bennett photo
Dirk C. Grunwald
Professor
Systems (Architecture)
Systems (Networks)
Systems (Operating Systems)
Computer architecture; object parallel languages and scalable runtime systems for distributed cache architectures.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0452
+1-303-492-2844 (FAX)
office: ECCR 1B50D
hours: by appointment
vCard email home page
 
Dirk Grunwald photo
Richard Y. Han
Associate Professor
Systems (Networks)
Systems (Operating Systems)
Ubiquitous computing/pervasive computing; distributed mobile applications; context-aware smart spaces and sensor networks.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0914
+1-303-492-2844 (FAX)
office: ECCR 1B05F
hours: by appointment
vCard email home page
 
Richard Han photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-443-9832
+1-303-492-2844 (FAX)
office: Wonderland
vCard email home page
 
Evi Nemeth photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA


hours: by appointment
vCard email home page
 
Gary Nutt photo
Theory
Theory (Algorithms)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6643
+1-303-492-2844 (FAX)
office: ECOT 743
hours: by appointment
vCard email home page
 
Aaron Clauset photo
Harold N. (Hal) Gabow
Professor Emeritus
Theory (Algorithms)
Design and analysis of algorithms; graph algorithms; combinatorial optimization.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA


hours: by appointment
vCard email home page
 
Harold (Hal) Gabow photo
Debra S. Goldberg
Assistant Professor
Theory (Algorithms)
Combinatorial algorithms; graph theory; computational molecular biology; genomic network analysis; analysis of noisy and error-prone data.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-9344
+1-303-492-2844 (FAX)
office: ECOT 734
hours: by appointment
vCard email home page
 
Debra Goldberg photo
Theory (Automata Theory)
Andrzej Ehrenfeucht
Distinguished Professor
Theory (Automata Theory)
Theory of computation; combinatorics; mathematical biology; mathematics education.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-7212
+1-303-492-2844 (FAX)
office: ECOT 731
hours: by appointment
vCard email home page
 
Andrzej Ehrenfeucht photo
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.
 
Leiden University
Leiden Institute for Advanced Computer Science (LIACS)
Niels Bohrweg 1
Leiden, 2333 CA The Netherlands

(++31)71-5-277061
vCard email home page
 
Grzegorz Rozenberg photo
Theory (Formal Methods)
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6580
+1-303-492-2844 (FAX)
office: ECOT 624
hours: by appointment
vCard email home page
 
Sriram Sankaranarayanan photo
Theory (Mathematical Theory of Computation)
Michael G. Main
Professor Emeritus
Theory (Mathematical Theory of Computation)
Theory of computation; introductory programming; undergraduate program.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA


office: ECOT 738
hours: see office hours
vCard email home page
 
Michael Main photo
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.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-6580
+1-303-492-2844 (FAX)
office: ECOT 624
hours: by appointment
vCard email home page
 
Sriram Sankaranarayanan photo
Karl A. Winklmann
Senior Instructor Emeritus
Theory (Mathematical Theory of Computation)
Introductory programming; undergraduate program.
  
Karl Winklmann photo
Theory (Security)
John R. Black
Associate Professor
Theory (Security)
Cryptography; network security; provable security; efficient implementations; probabilistic algorithms.
 
University of Colorado Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA

+1-303-492-0573
+1-303-492-2844 (FAX)
office: ECOT 627
hours: by appointment
vCard email home page
 
John Black photo
 
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Questions/Comments?
Send email to

Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:03)
 
.