Umang Mathur is a PhD candidate in the CS Department of the University of Illinois at Urbana Champaign, where he is advised by Mahesh Viswanathan.
His research interests are in Formal Methods and Logic with applications to Programming Languages and Software Engineering.
During his PhD, he developed techniques for detecting concurrency bugs (including data races, deadlocks, atomicity violations), decidable program verification, program synthesis and analysis of stochastic and real-time cyber-physical systems.
Umang is a recipient of the 2019 Google PhD Fellowship for Programming Technology and Software Engineering, C. W. Gear Outstanding Graduate Student Award, a Mavis Future Faculty Fellowship at Illinois, and an ACM Distinguished Paper Award at ESEC/FSE 2018.