31 reputation
5
bio website adel.ac
location United States
age 27
visits member for 3 years, 2 months
seen 18 hours ago

Grad student at UIUC. I study applied formal and semi-formal verification of continuous and hybrid systems.


This user has not answered any questions