FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Umang Mathur

Registered user since Sun 19 Mar 2017

Name:Umang Mathur
Bio:

Formal Methods and Logic and their applications to Programming Languages and Software Engineering. I like to explore and re-investigate the foundations of traditional solutions for intractable problems arising in testing, verification and synthesis of software systems. The current focus of my research is on developing techniques for detecting concurrency bugs, and on developing techniques for decidable program verification and synthesis.

Country:Singapore
Affiliation:National University of Singapore
Research interests:Concurrency, Formal Methods, Programming Languages, Software Engineering, Logic, Decidability

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile