Umang Mathur

Umang Mathur

Professor, National University of Singapore

Umang Mathur is a Presidential Young Professor in the School of Computing at the National University of Singapore, where he is a part of PLSE@NUS, and is a Visiting Assistant Professor at IIT Bombay. He obtained his PhD from the University of Illinois at Urbana-Champaign. Prior to joining NUS, Umang was a Research Scientist at Facebook Inc. and an NTT Research Fellow at the Simons Institute for the Theory of Computing. His work has been recognized by a Google PhD Fellowship, a Google Research grant and Distinguished and Best paper awards at ESEC/FSE 2018, ASPLOS 2022 and POPL 2023.

Program Visits

Fields
formal methods, verification, programming languages, automata theory, concurrency