Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of Adel Ahmadyan

Adel Ahmadyan

Adel Ahmadyan has asked 1 questions and find answers to 0 problems.

Stats

5
EtPoint
0
Vote count
1
questions
0
answers

About

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