Research Spotlight
|
|
Upcoming Colloquia
- 29 March, 15:30:00 - Model Checking: My 27 year Quest to Overcome the State Explosion Problem (Edmund Clarke)
- 10 December, 15:00:00 - The Design of MDB: a Macrodebugger for Wireless Embedded Networks (Tamim Sookoor)
- 13 November, 13:00:00 - Cache-Conscious Concurrent Data Structures (Michael Spiegel)
- More Colloquia »
Departmental News
- 22 Jul 2009 - Kim Hazelwood is BECA (Borg Early Career Award) 2009 Recipient (Kim Hazelwood) [CRA-W]
- 27 Jan 2009 - Dave Evans wins Outstanding Faculty Award (David E Evans) [Richmond Times-Dispatch]
- 15 Jan 2009 - Jack Davidson is ACM Fellow (Jack W Davidson) [Association for Computing Machinery]
- More News »