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

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