HIT 18级硕士在读
Latex爱好者
形式化验证
首页
留言
标签
归档
天
时
分
秒
次
枚
人
jekyll-theme-WuK
2019-2020 Xiaoqiang
# 小强の空 Welcome to my corner of Internet. <!-- slide --> ## Contact - Address: **HIT Campus of University Town of Shenzhen - Shenzhen, China** - Phone: **+86 15111342614, +1 (475) 241-5128** <!-- slide vertical=true --> - E-mail: - **[xiaoqiangwu.hit@gmail.com](mailto:xiaoqiangwu.hit@gmail.com)** - **[xiaoqiang.wu@yale.edu](mailto:xiaoqiang.wu@yale.edu)** - QQ: **1044731322** <!-- slide --> ## Education <!-- slide vertical=true --> Department of Computer Science, Yale University, Dec. 2019 - Now, as an Visiting Assistant in Research(VAR) School of Mechanical Engineering and Automation, HIT, Shenzhen, Sept. 2018 - Dec. 2020(expected) - Master of Control Science and Engineering - Formal verification of small UAV OS - Programming language - Bachelor of Engineering, Central South University
