Umang Mathur
Presidential Young Professor
School of Computing
National University of Singapore
Email: umathur@nus.edu.sg
CV |
DBLP |
Google Scholar
FOCS Lab |
PLSE@NUS
About Me
I am a Presidential Young Professor (Assistant Professor) in the School of Computing at the National University of Singapore, where I lead the FOCS Lab. I am also affiliated with PLSE@NUS. I am broadly interested in Formal Methods and Logic and their applications to Programming Languages, Software Engineering, and Computer Systems.
Before joining NUS, I was a Research Scientist at Facebook Inc. and a Research Fellow at the Simons Institute for the Theory of Computing. Prior to that, I obtained my PhD from the University of Illinois at Urbana-Champaign, advised by Prof. Mahesh Viswanathan. My PhD was supported, in part, by a Google PhD Fellowship.
🔎 Research Focus
- Developing algorithmic techniques for analysis of concurrent software.
- Developing languages and infrastructure for reliable and secure hardware design.
- Developing techniques for automated program translation.
- Understanding decidability and complexity horizons in the context of verification, synthesis, formal logic, and automata.