Umang Mathur

Umang Mathur is an Assistant Professor at the National University of Singapore's School of Computing, where he leads the FOCS Lab and is affiliated with PLSE@NUS. His research focuses on Formal Methods, Concurrency, and Decidability in Programming Languages and Software Engineering.

• PhD in Computer Science from the University of Illinois at Urbana-Champaign (advisor: Prof. Mahesh Viswanathan)
• Former Research Scientist at Facebook Inc. and Research Fellow at the Simons Institute
• Recipient of Google PhD Fellowship, 2024 CPP Distinguished Paper Award, 2023 ACM SIGPLAN Award, and ASPLOS 2022 Best Paper Award

His recent work explores algorithmic techniques for detecting concurrency bugs, decidable program verification, and synthesis, with a focus on weak memory models, predictive monitoring, and automata-theoretic approaches. Articles span topics like causal concurrency, tree clock data structures, and probabilistic counting algorithms, reflecting interdisciplinary intersections of logic and systems research.

Scientific Awards

• Google PhD Fellowship
• 2024 CPP Distinguished Paper
• 2023 ACM SIGPLAN Distinguished Paper
• 2022 ASPLOS Best Paper
• 2018 ESEC/FSE Distinguished Paper

He advises PhD students in Formal Methods and supervises teams in the FOCS Lab. Teaching includes advanced modules on Automata Theory, Logic, and Verification at NUS.