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