Adel Ahmadyan
164
reputation
8
Grad student at UIUC. I study applied formal and semi-formal verification of continuous and hybrid systems.