Liang Zhao
LiangZhao13
PhD candidate in Zhejiang University.
Zhejiang University Hangzhou, Zhejiang, China
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Aircraft Guy
gurkanctn
Senior aerospace engineer, interested in C++, Python and experienced in Matlab/Simulink.