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 at 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) Digital and Social Systems (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 at Boulder	Google, Inc. 2590 Pearl Street, Suite 110 Boulder, CO 80302 USA +1-303-800-2922
Michael A. Eisenberg Professor Artificial Intelligence (Cognitive Science) Digital and Social Systems (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 at 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 Fellow of the Institute of Cognitive Science and Director, Center for Lifelong Learning and Design Artificial Intelligence (Cognitive Science) Digital and Social Systems (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 at 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: on leave Fall 2009 - Spring 2010
Clayton H. Lewis Professor Artificial Intelligence (Cognitive Science) Digital and Social Systems (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 at 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: W 2:00pm-3:50pm; R 1:30pm-2:20pm in DLC 1B20
James H. Martin Professor 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 at 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 Associate 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; artificial intelligence; logic programming; 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 at Boulder Department of Linguistics 295 UCB Boulder, CO 80309-0295 USA +1-303-492-1300 office: HLMS 295 hours: M 2:30pm-3:30pm; W 3:00pm-4:00pm
Tamara R. Sumner Associate Professor Artificial Intelligence (Cognitive Science) Digital and Social Systems (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 at Boulder ... curriculum vitae	University of Colorado at 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. BCSH, Acadia University; MSc, PhD, University of British Columbia ... curriculum vitae	University of Colorado at 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)
Lawrence Hunter Professor (Department of Pharmacology) 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 Department of Pharmacology University of Colorado Health Sciences Center 4200 East 9th Avenue Campus Box C-236 Denver, CO 80262 USA +1-303-724-3574 +1-303-724-3396 (FAX) office: Room 2817B hours: by appointment
Robin D. Knight Assistant Professor (Department of Chemistry and Biochemistry) Artificial Intelligence (Machine Learning) Genomics; bioinformatics; computational biology; phylogenetic trees; horizontal gene transfer; RNA structure prediction; sequence composition; pattern recognition; statistical classification; biological data modeling and databases. BS, University of Otago, New Zealand; PhD, Princeton University	University of Colorado at 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 at 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: on leave Fall 2009 - Spring 2010
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 at 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: WF 4:00pm-5:00pm
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 at 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 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 at 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 Associate 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; artificial intelligence; logic programming; 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 at Boulder Department of Linguistics 295 UCB Boulder, CO 80309-0295 USA +1-303-492-1300 office: HLMS 295 hours: M 2:30pm-3:30pm; W 3:00pm-4:00pm
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 at Boulder	University of Colorado at 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
Digital and Social Systems
Digital and Social Systems (Collaborative Computing)
Clarence A. (Skip) Ellis Professor Digital and Social Systems (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 at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-492-5984 +1-303-492-2844 (FAX) office: ECOT 747 hours: by appointment
Digital and Social Systems (Computer Supported Cooperative Work)
Leysia A. Palen Assistant Professor Digital and Social Systems (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 at 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) Digital and Social Systems (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 at Boulder ... curriculum vitae	University of Colorado at 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
Digital and Social Systems (Educational Technology)
Christopher J. DiGiano Adjoint Assistant Professor (Google, Inc.) Artificial Intelligence (Cognitive Science) Digital and Social Systems (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 at Boulder	Google, Inc. 2590 Pearl Street, Suite 110 Boulder, CO 80302 USA +1-303-800-2922
Ann N. Eisenberg Adjunct Assistant Professor (University of Colorado at Boulder) Digital and Social Systems (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 at Boulder	University of Colorado at 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) Digital and Social Systems (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 at 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
Digital and Social Systems (Human Computer Interaction)
Kenneth M. Anderson Associate Professor, Director of Undergraduate Studies and Associate Chair Digital and Social Systems (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 at 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) Digital and Social Systems (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) Digital and Social Systems (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 at 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: W 2:00pm-3:50pm; R 1:30pm-2:20pm in DLC 1B20
Katie A. Siek Assistant Professor Digital and Social Systems (Human Computer Interaction) Human computer interaction; ubiquitous computing; health informatics; performance support systems. BS, Eckerd College; MS, PhD, Indiana University ... curriculum vitae	University of Colorado at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-492-5066 +1-303-492-2844 (FAX) office: ECOT 743 hours: TR 1:45pm-2:45pm in ECST 322A
Digital and Social Systems (Lifelong Learning)
Gerhard Fischer Professor and Fellow of the Institute of Cognitive Science and Director, Center for Lifelong Learning and Design Artificial Intelligence (Cognitive Science) Digital and Social Systems (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 at 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: on leave Fall 2009 - Spring 2010
Alexander Repenning Research Associate Professor Digital and Social Systems (Lifelong Learning) Visual programming; interactive simulation; computers in education; agents. BS, Engineering College, Brugg-Windisch, Switzerland; MS, PhD, University of Colorado at Boulder	University of Colorado at 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 at 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: T 11:00am-12:00pm; W 2:00pm-3:00pm
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 at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-492-5355 +1-303-492-2844 (FAX) office: ECOT 521 hours: M 1:00pm-2:00pm; W 11:00am-12:00pm; R 11:30am-12:30pm
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 at 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: TW 10:00am-11:30am
Robert B. 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 at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA
Numerical and Scientific Computation (Scientific Computing)
Xiao-Chuan Cai Professor and Chair 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 at 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 at Boulder Department of Computer Science 3827 Doral Drive Longmont, CO 80503 USA +1-303-682-9070 +1-303-492-2844 (FAX)
Tarek P. A. Mathew Adjunct Professor (University of Colorado at 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 at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-415-876-5424 +1-303-492-2844 (FAX)
Saroj K. Mishra Faculty Research Associate Numerical and Scientific Computation (Scientific Computing) High-order numerical methods with applications; numerical modeling of the global atmosphere; interactions between dynamic and physical processes. BE, University College of Engineering Burla; PhD, Indian Institute of Science Bangalore ... curriculum vitae	University of Colorado at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-497-2486 +1-303-497-1286 (FAX) office: ML-297
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 at 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 Associate 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 at 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 at 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 at 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: T 12:45pm-1:45pm; R 4:45pm-5:45pm
Amer S. Diwan Associate Professor Software (Programming Languages and Compilers) Algorithm, evaluation, and uses of program slicing; compilers and run-time systems for low-powered computing; garbage collection; inlining; memory system performance; optimization for memory hierarchies; partial evaluation; program analysis; compilers for object-oriented languages; whole-program optimization. BA, Middlebury College; MS, PhD, University of Massachusetts ... curriculum vitae	University of Colorado at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-492-5172 +1-303-492-2844 (FAX) office: ECOT 520 hours: T 2:00pm-3:30pm; R 4:30pm-6:00pm
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 at 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 at Boulder Department of Electrical, Computer and Energy Engineering 425 UCB Boulder, CO 80309-0425 USA +1-303-492-5069 office: ECOT 349 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	University of Colorado at 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 Digital and Social Systems (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 at 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 Director, Software Engineering Projects 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 at Boulder ... curriculum vitae	University of Colorado at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-492-8118 +1-303-492-2844 (FAX) office: ECOT 535 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 at 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
Manish Vachharajani Assistant Professor (Department of Electrical, Computer and Energy Engineering) Systems (Architecture) Programming languages; computer architecture. BS, Rutgers, The State University of New Jersey; MA, PhD, Princeton University ... curriculum vitae	University of Colorado at Boulder Department of Electrical, Computer and Energy Engineering 425 UCB Boulder, CO 80309-0425 USA +1-303-492-0612 office: ECOT 336 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 at 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 at 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 at 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 at 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: M 4:00pm-5:00pm; R 2:15pm-3:15pm in ECCR 1B09
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 at 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 at 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 at 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 at 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 at 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 at 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: M 4:00pm-5:00pm; R 2:15pm-3:15pm in ECCR 1B09
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 at 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 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 at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-492-7581 +1-303-492-2844 (FAX) office: ECOT 820 hours: by appointment
Theory
Theory (Algorithms)
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 at 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 at Boulder Department of Computer Science 430 UCB Boulder, CO 80309-0430 USA +1-303-492-9344 +1-303-492-2844 (FAX) office: ECST 322 hours: M 11:00am-11:55am; R 2:30pm-3:25pm
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 at 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 2333 CA Leiden, 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 at 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 Associate Professor Theory (Mathematical Theory of Computation) Theory of computation; introductory programming; undergraduate program. BS, MS, PhD, Washington State University	University of Colorado at 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 at 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 at 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 at 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: M 9:00am-9:50am; W 3:00pm-3:50pm