31 reputation
5
bio website adel.ac
location United States
age 28
visits member for 3 years, 7 months
seen May 4 at 20:55

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


5 Mar 3 '14
5 Jan 10 '14
5 Dec 25 '12
5 Oct 15 '12
5 May 17 '12
5 May 16 '12