Umang Mathur

Image not available 

Umang Mathur

Dept of Computer Science
University of Illinois at Urbana Champaign
Office: 3301 Siebel Center,
201 N Goodwin Ave, Urbana, IL 61801


Brief Biography

I am a third year Ph.D. student in the CS Dept. of UIUC.
I am very fortunate for being advised by Prof. Mahesh Viswanathan .
For those interested in numbers, my Erdős number is 4.

Prior to joining UIUC, I worked for a year at WorldQuant Research (India) at Mumbai.
I graduated from IIT Bombay with a B.Tech in Computer Science and Engineering in 2014.

Research Interests

I am broadly interested in Formal Methods and its applications to Modelling, Verification and Synthesis of Software, and Hybrid Systems.
My interests also span Logic, Programming Languages and Theoretical Computer Science.


University email:
Personal email:
LinkedIn Profile
DBLP Profile
Google Scholar