University of Virginia Department of
    Computer Science
PeopleStudents | Grad Students | Faculty | Staff | Alums | Famous

Projects: Descriptions | Areas | PI's | Spotlights | Student Publications | Tech Reps | Posters | Awards | Facilities | News | Photos

Faculty: Batson | Bloomfield | Cohoon | Davidson | Evans | French | Grimshaw | Gurumurthi | Hazelwood | Horton | Humphrey | Humphreys | Jones | Knight | Lawrence | Martin | Mishra | Ortega | Pearson | Pfaltz | Reynolds | Robins | shelat | Sherriff | Skadron | Soffa | Son | Stankovic | Sullivan | Weaver | Weimer | Whitehouse | Wulf |

Alan Batson

Alan Batson
Computer Systems, computer architecture, and computer performance
Aaron Bloomfield

Aaron Bloomfield
Computer graphics, virtual reality, haptics, computer science education
James Cohoon

James Cohoon
Algorithms, design automation, computational geometry, parallel computing, probabilistic search, genetic algorithms, simulated annealing, and diversity in computer science education.
Jack Davidson

Jack Davidson
Compilers, code generation, optimization, security, computer architecture
David Evans

David Evans
Code safety, annotation-assisted static checking, and programming large-scale dynamic networks of devices.
James French

James French
Data mining, information retrieval, digital libraries, and scientific database management
Andrew Grimshaw

Andrew Grimshaw
Grid computing, high-performance parallel computing, compilers for parallel systems, operating systems
Sudhanva Gurumurthi

Sudhanva Gurumurthi
Computer architecture
Kim Hazelwood

Kim Hazelwood
Virtualization, optimizing compilers, computer architecture, binary modification, embedded systems.
Thomas Horton

Thomas Horton
Software engineering, computer science education, text processing, humanities computing
Marty Humphrey

Marty Humphrey
Grid computing, security, real-time computation, operating systems
Greg Humphreys

Greg Humphreys
Computer graphics, scalable rendering with commodity components, and real time rendering techniques
Anita Jones

Anita Jones
Distributed systems, high performance systems, computer simulation, intrusion detection, survivable information systems, protection and security, and national science and engineering policy
John Knight

John Knight
Software reliability and software engineering
Jason Lawrence

Jason Lawrence
Computer Graphics, realistic surface appearance, and physically-based rendering.
Worthy Martin

Worthy Martin
Computer vision, human vision, robotics, genetic algorithms, image databases, and artificial intelligence
Nina Mishra

Nina Mishra
Data mining, machine learning, and privacy-preserving algorithms
James Ortega

James Ortega
Parallel scientific computing
William R. Pearson

William R. Pearson
Computational biology, molecular evolution, biological sequence comparison
John Pfaltz

John Pfaltz
Databases and parallel computing, discrete math, anti-matroid closure-spaces
Paul Reynolds

Paul Reynolds
Modeling and simulation technology, parallel and distributed systems, computing for the blind.
Gabriel Robins

Gabriel Robins
VLSI CAD, algorithms, computational geometry, optimization, bioinformatics, and RFID
abhi shelat

abhi shelat
Cryptography, security, and game theory.
Mark Sherriff

Mark Sherriff
Software engineering, software reliability, compute science education, agile software development, and extreme programming.
Kevin Skadron

Kevin Skadron
Computer architecture, temperature-aware and power-aware computing, graphics architecture, novel processor organizations, thermal modeling, and simulation methodology
Mary Lou Soffa

Mary Lou Soffa
Optimizing compilers, compilers for embedded systems, program analysis, debugging and testing
Sang Son

Sang Son
Real-time computing, database and data services, QoS management, wireless sensor networks, and information security.
John A. Stankovic

John A. Stankovic
Real-time computing, embedded computing, operating systems, wireless sensor networks, and large scale distributed computing.
Kevin Sullivan

Kevin Sullivan
Software engineering, modular architectures, survivability, evolution, and integration
Alfred Weaver

Alfred Weaver
Computer networks, network protocols, telemedicine, electronic commerce, medical data privacy and security
Westley Weimer

Westley Weimer
Software quality and reliability
Kamin Whitehouse

Kamin Whitehouse
Large-scale wireless sensor networks, distributed applications.
William Wulf

William Wulf
National science policy, architecture, security, and hardware-software codesign

  • Honors, panels, and editorships held by our faculty

  • Why study computer science at UVa?

    Faculty: Batson | Bloomfield | Cohoon | Davidson | Evans | French | Grimshaw | Gurumurthi | Hazelwood | Horton | Humphrey | Humphreys | Jones | Knight | Lawrence | Martin | Mishra | Ortega | Pearson | Pfaltz | Reynolds | Robins | shelat | Sherriff | Skadron | Soffa | Son | Stankovic | Sullivan | Weaver | Weimer | Whitehouse | Wulf |

    Projects: Descriptions | Areas | PI's | Spotlights | Student Publications | Tech Reps | Posters | Awards | Facilities | News | Photos

    Projects: Antimony | Archsplit | Bioinformatics | Calamari | Calibration | Chromium | CoCo | Collision Detection | ComponentOS | Computational Geometry | Computer Vision | ControlWare | Data Mining | DDAM | Dependability | DRPM | Eos | FASTA | Feedback Control | Galileo | Genesis | GPU | Graphics | Grid Computing Group | Hood | HotLeakage | HotSpot | IPA | Info Tech | Intrusion Detection | Isoluminance | Isotach | Jazz | JDelta | LAVA | Legion | Lithium | Marionette | MaSTRI | Medical Portal | MRRL | Mutation Routing | NAE | Nancy's Pantry | NEST | N-Variant | PDO | Perracotta | Perspective Warp | Physicrypt | PIE | PRMES | Qsilver | Semantic Streams | Software Quality | STILT | Strata | Surface Deformations | TDB | TJC | Tortola | VCGR | VEST | VLSI CAD | Willow | WSN | WSNM | Zeus |
    Past projects: BeeHive | HoLSt | ITIC | MNG | Multiagents | Naccio | Physical Simulation | QoS | RoboCup | Scanning Monticello | Simplification | Splint | Swarm Computing | VDSlib | VLSIR | Zephyr |