Umang MATHUR

Umang MATHUR is a NUS Presidential Young Professor at the National University of Singapore, Department of CS. He received his PhD from the University of Illinois at Urbana Champaign and was an NTT Research Fellow at the Simons Institute for the Theory of Computing at Berkeley. Umang obtained his bachelor's from the Department of Computer Science and Engineering at IIT Bombay. He has worked as a Research Scientist at Meta and a Quantitative Researcher at Worldquant Research. His research broadly centers on developing techniques inspired from formal methods and logic for answering design, analysis and implementation questions in programming languages, software engineering and systems. He has received a Google PhD Fellowship, a Google research award, and an ACM SIGSOFT Distinguished Paper Award at ESEC/FSE'18. Best Paper Award at ASPLOS'22 and an ACM SIGPLAN Distinguished Paper Award at POPL'23 for his work on designing techniques and tools for analyzing concurrent software.

Umang Mathur is a Presidential Young Professor at the National University of Singapore, specializing in concurrency, formal methods, verification, logic, and programming languages. His research focuses on dynamic race prediction, synchronization-preserving races, and data race detection in concurrent systems. He explores techniques such as vector clocks, happens-before relations, and causal orderings to enhance the accuracy and efficiency of concurrency testing. Additionally, he investigates controller synthesis for linear systems with reach-avoid specifications and develops methods for atomicity checking and deadlock prediction. His work also includes greybox fuzzing for concurrency testing and scalable statistical root cause analysis on app telemetry, emphasizing formal verification and program synthesis.