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

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



Eva Tardos - Friday, September 30, 2016 at 3:30 pm in Rice 130 (auditorium)
Co-Sponsors: Department of Computer Science, Data Science Institute, Department of Economics

Jack Lanchantin - Monday, September 26, 2016 at 1:30 pm in Rice 504
Deep Motif: Visualizing and Understanding Genomic Sequences Using Deep Neural Networks

Vivek Sarkar - Friday, September 23, 2016 at 3:30 pm in Rice 130
Software Challenges for Extreme Scale Systems, or how to play the End-Game for Moore's Law


Past Events

Anh Nguyen-Tuong - Friday, September 16, 2016 at 3:30 pm in Rice 130
What happens in Vegas doesn't always stay in Vegas: Winning 2nd Prize in DARPA's Cyber Grand Challenge

Elahe Soltanaghaei - Monday, September 19, 2016 at 3:00 pm in Rice 504
WalkSense: Classifying Home Occupancy States Using Walkway Sensing

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]