Umang Mathur

About

Umang Mathur is an Assistant Professor at the National University of Singapore. His research focuses on concurrency, memory models, and automated program translation, as evidenced by his recent publications that explore efficient race detection, dynamic deadlock prediction, and consistency checking. He contributes to advancing the understanding of program correctness and optimization in concurrent systems.