The Grainger College of Engineering
Siebel School of Computing and Data Science

Research Areas

Research Areas

Architecture, Compilers, and Parallel Computing

Artificial Intelligence

Bioinformatics and Computational Biology

Computers and Education

Data and Information Systems

Interactive Computing

Programming Languages, Formal Methods, and Software Engineering

Scientific Computing

Security and Privacy

Systems and Networking

Theory and Algorithms

Atomicity Checking in Linear Time using Vector Clocks

By Umang Mathur and Mahesh Viswanathan