People/Web Search Calendar Emergency Info A-Z Index UVA Email University of Virginia

Skip to Content

CS at U.Va.


The U.Va. Department of Computer Science is a nationally recognized leader in computer science research and education. Our department includes 40 + faculty members, 120 graduate students and over 1,000 undergraduates. Faculty are active in fundamental computer science and engineering research and are engaged in interdisciplinary initiatives with scientists, humanists, engineers in other disciplines and medical personnel.

Our graduate students transition from students to collaborators through participation in world-class research projects. Our undergraduates are involved in research and are enriched by an integrated and challenging curriculum.

Welcome to Computer ScienceTheresa Sullivan speaking at ceremony for Anita Jones's Atrium Welcome to Computer Science Welcome to Computer ScienceWelcome to Computer Science Welcome to Computer Science Welcome to Computer Science

Features:

Calendar of Events

Upcoming Events

Past Events

Jian Xiang - Tuesday, August 23, 2016 at 3:00 pm in Rice 242
Interpreted Formalism: Towards System Assurance and the Real-World Semantics of Software
Dezhi Hong - Monday, August 8, 2016 at 2:00 pm in Rice 242
Towards Automatic Metadata Inference for Sensors in Buildings
Jinlong Feng - Wednesday, July 27, 2016 at 4:00 pm in Rice 504
Improving Spectrum-based Fault Localization using Unnaturalness of Bug
Md Abu Sayeed Mondol - Thursday, July 7th, 2016 at 10:00 am, Rice 504
Toward Robust and Accurate Human Activity Recognition using Wearable Sensors
Friday, June 3rd, 11:00 am, Rice 242

Jay Taneja: "Creating Cyber-Physical and Mobile Systems For Improving Sustainable Electricity Delivery in the Industrialized and Developing World"
Lin Gong - Thursday, April 28th, 2016 at 2:00 pm (Rice 404)
Collaborative Model Adaptation for Personalized Sentiment Classification
Zhiheng Xie - Tuesday, April 19th, 2016 at 8:00 am (Rice 242)
Collaborative Localization Using Wireless Sensor Networks
Liang Wang - Tuesday, April 19th, 2016 at 2:00 pm (Rice 242)
First-Order Modeling Frameworks for Power-Efficient and Reliable Multiprocessor System
Jonathan Dorn - Tuesday, April 19th, 2016 at 5:00 pm (Rice 242)
Improving Program Acceptability Through Source Code Transformations
Kevin Angstadt - Friday, April 22nd, 2016 at 12:00 pm (Rice 242)
RAPID Programming of Pattern-Recognition Processors
Benjamin Floyd - Monday, April 18th, 2016 at 12:00 pm (Rice 242)
N-Prog: A Framework for Proactive Coarse-Grained Diversity
Anish Tondwalkar - Monday, April 18, 2016 at 1:30 pm (Rice 242)
Finding and Fixing Bugs in LiquidHaskell
Brad Campbell, Enabling Perpetual Sensing with Energy-Harvesting Systems - Tuesday, 12 April (10:45am, Rice 242)
David Chu, In Pursuit of Low-Latency Interactions on Mobile Devices - Wednesday, 13 April (10:45am, Rice 242)
Muhammad Naveed, Computer Science Faculty Candidate Talk - Monday, 11 April, 2016 at 10:45 am (Rice 242) - Making the World a Better Place with Cryptography
Samee Zahur - Wednesday, April 6, 2016 at 3:30 pm (Rice 242)
Demystifying secure computation: familiar abstractions for efficient protocols
Md Mustafizur Rahman - April 5, 2016 at 1:30 pm (Rice 504)
Hidden Topic Sentiment Model
John Hott - Tuesday, March 15, 2016 at 3:00 pm (Rice 242)
Evolving Networks: Structure & Dynamics

[Defenses] | [Previous Colloquia]