Vijay K. Garg

Cullen Trust for Higher Education Endowed Professor,
Professor, Electrical and Computer Engineering Department,
Member of Computer Sciences, Graduate Studies Committee
IEEE Fellow,
Director, Parallel and Distributed Systems Laboratory, UT Austin.
Director, Executive Masters in Software Engineering (Option III),

Areas of Interest

Distributed Algorithms, Fault Tolerance, Multicore Computing, Lattice Theory


Vijay Garg is a Cullen Trust Endowed Professor in the Department of Electrical & Computer Engineering and Department of Computer Sciences at The University of Texas at Austin. He is an IEEE Fellow and is the director of the Parallel and Distributed Systems laboratory at UT Austin. His research contributions are in the areas of distributed algorithms, global predicate detection, distributed debugging and simulation, fault-tolerance, lattice theory and supervisory control of discrete event systems. His research has been supported by NSF, IBM, Texas Advanced Research Program, TRW, SRC, and Compaq among others. He has received Lepley Teaching Award (ECE Departmental Teaching Award, 2015), Departmental nomination for Lockheed Martin Aeronautics Company Award for Excellence in Engineering Teaching (2015), UT Outstanding Inventor (2011), Best Paper Award at 17th International Conference on Runtime Verification (RV'2017), Best Paper Award at 12th SSS (2010) etc. click here for vita.

Vijay K. Garg


EER 7.884

+1 512 471 9424

Executive Masters

Refereed Publications:

Complete List


In Progress
A Systematic Approach to Parallel Algorithms

Introduction to Lattice Theory with Computer Science Applications
Wiley & Sons, 2015
Concurrent and Distributed Computing in Java,
Wiley & Sons, 2004
Elements of Distributed Computing,
Wiley & Sons, 2002
Principles of Distributed Systems,
Springer-Verlag 1996
Modeling and Control of Logical Discrete Event Systems,
Springer-Verlag 1995.

Some Invited Talks

ICDCN 2023 (Keynote)

FRIDA 2015 (Keynote)
Solved and Unsolved Problems in Monitoring Distributed Computations
Slides .. A Longer Version

RV 2014 (Invited Tutorial)
Lattice-Theoretic Approach to Runtime Verification of Distributed Systems Slides I .. Slides II

Recent Program Committees etc. (selected)
ICDCS 2022 -------- SRDS 2021 -------- ICDCN 2020 -------- DISC 2019 ---------- PODC 2018, --------- ICDCN 2018, General co-chair --------- SSS 2016, Track vice-Chair for Foundations --------- ICDCN 2016, General co-chair --------- RV 2016
Executive Masters

Copyright  © 2012 | Vijay Garg