Research Spotlight

Zeus Practical Formal Techniques for Software Development

Featured Content

• 25th CS Department Anniversary New!
• ITE Building (Rice Hall) New!

Upcoming Colloquia

• More Colloquia »

Departmental News

• 30 Aug 2010 - Kim Hazelwood one of top young innovators (Mary L Soffa) [UVA Today]
• 12 Jul 2010 - abhi shelat named Microsoft Research Fellow (Mary L Soffa) [UVA Today]
• 28 Jun 2010 - Jason Mars receives Google Fellowship (Mary L Soffa) [UVA Today]
• More News »

• Department of Computer Science
• School of Engineering, University of Virginia
• 151 Engineer's Way, P.O. Box 400740
• Charlottesville, Virginia 22904-4740

• Web Comments: webteam@cs.virginia.edu
• Contact us: inquiry@cs.virginia.edu
• Phone: (434) 982-2200
• Fax: (434) 982-2214

• Contact Us
• UVA Map
• Login