|
CS Home
Dept Info/Contacts
People
Research
Events
Courses
Undergrad Programs:
Computer Science
Informatics
Graduate Program
Prospective Students
Faculty Hiring
Employment
Resources
Help Lab Hours
Student Groups
Support the Department: Weeg Professorship
|
|
Research Areas
|
Projects/Homepages
|
Algorithms
Suely Oliveira
Sriram Pemmaraju
Kasturi Varadarajan
|
|
Artificial Intelligence
Gregg Oden
Alberto Maria Segre
Cesare Tinelli
Hantao Zhang
|
Automated Reasoning
Cesare Tinelli
Hantao Zhang
|
UI CS Automated Reasoning Homepage
|
Informatics (including databases, data mining, health and bioinformatics, information retrieval, etc.)
David Eichmann
Alberto Maria Segre
Padmini Srinivasan
Nick Street
Hwanjo Yu
|
UI Data Mining Homepage
|
Formal Methods and Programming Languages
Art Fleck
Teo Rus
Cesare Tinelli
|
TICS Homepage
|
Graphics, Human-computer Interaction, and Virtual Environments
Jim Cremer
Juan Pablo Hourcade
Joe Kearney
Chris Wyman
|
HANK VE Lab Homepage
|
Networks and Distributed Systems
Steve Bruell
Sukumar Ghosh
Ted Herman
Eunjin (EJ) Jung
|
Numerical Methods, Parallel Computing, and Optimization
Kurt Anstreicher
Suely Oliveira
|
|
Systems, Software, and Security
Steve Bruell
Doug Jones
Eunjin (EJ) Jung
Teo Rus
|
Last modified:
August 10, 2007
|
