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

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

FRIDA 2015 (Keynote)
Solved and Unsolved Problems in Monitoring Distributed Computations Distributed Systems
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.
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 --------- SSS 2015 --------- HotDep 2014 --------- SSS 2014 (Program co-chair) --------- RV 2014 --------- DISC 2014 --------- ICDCN 2014 (Steering Committee member)
Executive Masters

Copyright  © 2012 | Vijay Garg