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. BS, MSc, El Instituto Tecnológico y de Estudios Superiores de Monterrey; PhD, Indiana University ... curriculum vitae	University of Colorado Boulder Department of Psychology 345 UCB Boulder, CO 80309-0345 USA +1-303-492-4282 office: MUEN D447B hours: by appointment
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. BS, University of North Carolina at Chapel Hill; MS, University of Toronto; PhD, University of Colorado Boulder ... curriculum vitae	Google, Inc. 2590 Pearl Street, Suite 110 Boulder, CO 80302 USA +1-303-800-2922
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. BA, Columbia University; MS, PhD, Massachusetts Institute of Technology ... curriculum vitae	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
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. MS, University of Heidelberg; PhD, University of Hamburg ... curriculum vitae	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
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. AB, Princeton University; MS, Massachusetts Institute of Technology; PhD, University of Michigan ... curriculum vitae	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
James H. Martin Professor and Chair Artificial Intelligence (Cognitive Science) Artificial Intelligence (Speech and Language) Natural language processing; computational linguistics; information retrieval; machine learning. BS, Columbia University; PhD, University of California, Berkeley ... curriculum vitae	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
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. BA, MA, University of Texas; PhD, University of Edinburgh ... curriculum vitae	University of Colorado Boulder Department of Linguistics 295 UCB Boulder, CO 80309-0295 USA +1-303-492-1300 office: HLMS 295 hours: by appointment
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. BA, BS, University of California, Santa Cruz; MS, PhD, University of Colorado Boulder ... curriculum vitae	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
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. BCSH, Acadia University; MSc, PhD, University of British Columbia ... curriculum vitae	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
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. BS, Haverford College; PhD, University of New Mexico ... curriculum vitae	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
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. BS, Texas A&M University; DSc, Washington University in St. Louis ... curriculum vitae	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
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 ... curriculum vitae	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
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. BS, University of Otago, New Zealand; PhD, Princeton University	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
Michael C. Mozer Professor Artificial Intelligence (Machine Learning) Cognitive science and cognitive neuroscience; computational modeling of human perception and cognition; machine learning; data mining. BS, Brown University; MA, PhD, University of California, San Diego ... curriculum vitae	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
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. MS, Eidgenössische Technische Hochschule Zürich; PhD, Ecole Polytechnique Fédérale de Lausanne ... curriculum vitae	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
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. BS, MSc, El Instituto Tecnológico y de Estudios Superiores de Monterrey; PhD, Indiana University ... curriculum vitae	University of Colorado Boulder Department of Psychology 345 UCB Boulder, CO 80309-0345 USA +1-303-492-4282 office: MUEN D447B hours: by appointment
James H. Martin Professor and Chair Artificial Intelligence (Cognitive Science) Artificial Intelligence (Speech and Language) Natural language processing; computational linguistics; information retrieval; machine learning. BS, Columbia University; PhD, University of California, Berkeley ... curriculum vitae	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
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. BA, MA, University of Texas; PhD, University of Edinburgh ... curriculum vitae	University of Colorado Boulder Department of Linguistics 295 UCB Boulder, CO 80309-0295 USA +1-303-492-1300 office: HLMS 295 hours: by appointment
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. BA, Rice University; MS, PhD, University of Colorado Boulder	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
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. BA, Beloit College; MA, PhD, University of Illinois at Urbana-Champaign ... curriculum vitae	University of Colorado Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA hours: by appointment
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. BS, University of California, San Diego; MS, PhD, University of California, Irvine ... curriculum vitae	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
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. BA, BS, University of California, Santa Cruz; MS, PhD, University of Colorado Boulder ... curriculum vitae	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
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. BS, University of North Carolina at Chapel Hill; MS, University of Toronto; PhD, University of Colorado Boulder ... curriculum vitae	Google, Inc. 2590 Pearl Street, Suite 110 Boulder, CO 80302 USA +1-303-800-2922
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. BS, University of Hawaii at Manoa; MS, PhD, University of Colorado Boulder	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
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. BA, Columbia University; MS, PhD, Massachusetts Institute of Technology ... curriculum vitae	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
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. BS, MS, PhD, University of California, Irvine ... curriculum vitae	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
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). BS, MS University of New Mexico; PhD, University of California, Berkeley	TerraSpark Geosciences 2525 Arapahoe Avenue Unit E4 PMB 143 Boulder, CO 80302-6746 USA +1-303-807-8659
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. AB, Princeton University; MS, Massachusetts Institute of Technology; PhD, University of Michigan ... curriculum vitae	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
Katie A. Siek Assistant Professor Human-Centered Computing (Human-Computer Interaction) Human-computer interaction; ubiquitous computing; health informatics. BS, Eckerd College; MS, PhD, Indiana University ... curriculum vitae	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
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. MS, University of Heidelberg; PhD, University of Hamburg ... curriculum vitae	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
Alexander Repenning Research Associate 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
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
Numerical and Scientific Computation (Nonlinear Dynamics)
Elizabeth Bradley Professor Numerical and Scientific Computation (Nonlinear Dynamics) Scientific computation and AI; nonlinear dynamics and chaos. BS, MS, PhD, Massachusetts Institute of Technology ... curriculum vitae	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
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. BS, Haverford College; PhD, University of New Mexico ... curriculum vitae	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
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
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. BA, Dartmouth College; MS, PhD, Cornell University ... curriculum vitae	Indiana University School of Informatics 901 East 10th Street Bloomington, IN 47408-3912 USA +1-812-856-1079 +1-812-856-4764 (FAX)
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. BS, MS, National University of Ireland; PhD, Harvard University	University of Colorado Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA
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
Lloyd D. Fosdick Professor Emeritus Numerical and Scientific Computation (Scientific Computing) Scientific computing; numerical dynamics; cluster dynamics and stability; history of computation. BS, University of Chicago; MS, PhD, Purdue University	University of Colorado Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-682-9070 +1-303-492-2844 (FAX)
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. BS, University of Denver; MS, Rensselaer Polytechnic Institute; PhD, Courant Institute of Mathematical Sciences, New York University	University of Colorado Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-415-876-5424 +1-303-492-2844 (FAX)
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
Henry M. Tufo Professor Numerical and Scientific Computation (Scientific Computing) High-performance scientific computing; scalable multilevel solvers; lightweight software tools; immersive visualization. BS, Duke University; MS, University of Vermont; MS, PhD, Brown University ... curriculum vitae	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
Software
Software (Databases)
Roger A. (Buzz) King Professor Software (Databases) Databases, data integration, database-centric web apps, and multimedia and animation data management. AB, Occidental College; MS, PhD, University of Southern California	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
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. BS, Carnegie Mellon University; MS, PhD, University of California, Berkeley ... curriculum vitae	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
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. BTech, Indian Institute of Technology Kharagpur; MS, PhD, Stanford University ... curriculum vitae	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
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. BS, MS, University of Notre Dame; PhD, Indiana University ... curriculum vitae	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
William M. Waite Professor Emeritus Software (Programming Languages and Compilers) Automation of compiler construction; programming language principles; programming methodology; computer architecture; operating system principles. AB, Oberlin College; MS, PhD, Columbia University ... curriculum vitae	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
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. BS, MS, PhD, University of California, Irvine ... curriculum vitae	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
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. BS, California Institute of Technology; MS, PhD, University of Southern California ... curriculum vitae	University Corporation for Atmospheric Research Unidata 1850 Table Mesa Drive Boulder, CO 80307 USA +1-303-497-8658
Bruce W. Sanders Senior Instructor Emeritus Software (Software Engineering) Senior projects; undergraduate program and advising; industry-university collaboration; recruiting; intercollegiate athletics; departmental website. BS, Louisiana State University; MS, University of Colorado Boulder ... curriculum vitae	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
Elizabeth K. White Instructor Software (Software Engineering) interests TBD MS, PhD University of Colorado Boulder	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
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. BA, Queens College, City University of New York; MS, PhD, University of Massachusetts	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)
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. BS, MS, PhD, University of Illinois at Urbana-Champaign	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
Systems (Networks)
John K. Bennett Professor and Director of ATLAS Institute Systems (Networks) Systems (Operating Systems) Distributed information management; distributed robotic sensors; digital divide. BSEE, MEE, Rice University; MS, PhD, University of Washington	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
Timothy X. Brown Associate Professor (Department of Electrical, Computer and Energy Engineering) Systems (Networks) Adaptive network control; machine learning; wireless communications systems. BS, Pennsylvania State University; PhD, California Institute of Technology ... curriculum vitae	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
Dirk C. Grunwald Professor Systems (Architecture) Systems (Networks) Systems (Operating Systems) Computer architecture; object parallel languages and scalable runtime systems for distributed cache architectures. BS, MS, PhD, University of Illinois at Urbana-Champaign	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
Richard Y. Han Associate Professor Systems (Networks) Systems (Operating Systems) Ubiquitous computing/pervasive computing; distributed mobile applications; context-aware smart spaces and sensor networks. BS, Stanford University; MS, PhD, University of California, Berkeley ... curriculum vitae	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
Qin (Christine) Lv Assistant Professor Systems (Networks) Efficient systems design for massive data; search systems; data management; distributed systems; online social communities. BE, Tsinghua University; MA, PhD, Princeton University ... curriculum vitae	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
Shivakant Mishra Associate Professor and Director of Graduate Studies Systems (Networks) Dependable distributed systems; communication protocols; operating systems. BTech, Indian Institute of Technology Bombay; MS, Southern Illinois University; PhD, University of Arizona	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
Douglas C. Sicker Associate Professor Systems (Networks) Cognitive and software defined radios; network performance; telecommunications policy. BS, MS, PhD, University of Pittsburgh ... curriculum vitae	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
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. BSEE, MEE, Rice University; MS, PhD, University of Washington	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
Dirk C. Grunwald Professor Systems (Architecture) Systems (Networks) Systems (Operating Systems) Computer architecture; object parallel languages and scalable runtime systems for distributed cache architectures. BS, MS, PhD, University of Illinois at Urbana-Champaign	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
Richard Y. Han Associate Professor Systems (Networks) Systems (Operating Systems) Ubiquitous computing/pervasive computing; distributed mobile applications; context-aware smart spaces and sensor networks. BS, Stanford University; MS, PhD, University of California, Berkeley ... curriculum vitae	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
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. BS, Pennsylvania State University; PhD, University of Waterloo	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
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. BA, Boise State University; MS, PhD, University of Washington	University of Colorado Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA hours: by appointment
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. BS, Haverford College; PhD, University of New Mexico ... curriculum vitae	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
Harold N. (Hal) Gabow Professor Emeritus Theory (Algorithms) Design and analysis of algorithms; graph algorithms; combinatorial optimization. AB, Harvard College; PhD, Stanford University ... curriculum vitae	University of Colorado Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA hours: by appointment
Debra S. Goldberg Assistant Professor Theory (Algorithms) Combinatorial algorithms; graph theory; computational molecular biology; genomic network analysis; analysis of noisy and error-prone data. BS, Yale University; MS, University of Denver; MS, PhD, Cornell University ... curriculum vitae	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
Theory (Automata Theory)
Andrzej Ehrenfeucht Distinguished Professor Theory (Automata Theory) Theory of computation; combinatorics; mathematical biology; mathematics education. MA, University of Warsaw, Poland; PhD, Mathematical Institute of P.A.N., Warsaw	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
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. MS, Technical University of Warsaw, Poland; PhD, Polish Academy of Sciences ... curriculum vitae	Leiden University Leiden Institute for Advanced Computer Science (LIACS) Niels Bohrweg 1 Leiden, 2333 CA The Netherlands (++31)71-5-277061
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. BTech, Indian Institute of Technology Kharagpur; MS, PhD, Stanford University ... curriculum vitae	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
Theory (Mathematical Theory of Computation)
Michael G. Main Professor Theory (Mathematical Theory of Computation) Theory of computation; introductory programming; undergraduate program. BS, MS, PhD, Washington State University	University of Colorado Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA office: ECOT 738 hours: see office hours
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. BTech, Indian Institute of Technology Kharagpur; MS, PhD, Stanford University ... curriculum vitae	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
Karl A. Winklmann Senior Instructor Emeritus Theory (Mathematical Theory of Computation) Introductory programming; undergraduate program. BS, Technical University, Munich; PhD, Purdue University	University of Colorado Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA
Theory (Security)
John R. Black Associate Professor Theory (Security) Cryptography; network security; provable security; efficient implementations; probabilistic algorithms. BS, California State University, Hayward; PhD, University of California, Davis ... curriculum vitae	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