dReal
Users following dreal
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Zhonghan Wang
yogurt-shadow
Machine Learning Engineer.
Incoming PhD Student at University of Toronto (perhaps).
University of Toronto Beijing, China
