Research Spotlight
|
|
Upcoming Colloquia
- 1 April, 01:00:00 - TBA (Barbara Liskov)
- 29 March, 15:30:00 - Model Checking: My 27 year Quest to Overcome the State Explosion Problem (Edmund Clarke)
- More Colloquia »
Departmental News
- 1 Feb 2010 - U.Va. Computer Science Department Celebrates 25th Anniversary with 'Father of the Internet' (Mary L Soffa) [UVA Today]
- 30 Jan 2010 - Internet’s dad: Responsibility a big part of computer science (Anita K Jones) [Daily Progress]
- 27 Jan 2010 - U.Va. Computer Science Students Return to World Finals for Programming in China (Aaron Bloomfield) [SEAS]
- More News »