Adel Ahmadyan
|
Registered User
|
Grad student at UIUC.
I study applied formal and semi-formal verification of continuous and hybrid systems.
|

