31 reputation
4
bio website netfiles.uiuc.edu/ahmadya2/…
location United States
age
visits member for 2 years, 5 months
seen Jul 16 at 19:30
Grad student at UIUC. I study applied formal and semi-formal verification of continuous and hybrid systems.