Education
Dalian University of Technology SEPTEMBER 2012 - PRESENT
Bachelor of Engineering (B.Eng.), Software Engineering
Now, I am a senior student from Dalian University of Technology. I will continue my graduate study under supervision with Prof. Weiqiang Kong.
Research Interests
Formal Methods
- Formal Methods Algorithms: Model Checking
- Formal Methods Applications: Highly-Reliable Software
Honors
- 2015, Second-Class Scholarship and Outstanding Student of Dalian University of Technology
- 2014, Contemporary Undergraduate Mathematical Contest in Modeling in Liaoning Province (CSIAM), First Prize
- 2014, Mathematical Contest In Modeling (MCM/ICM), Honorable Mention
Publication
To Be Supplemented.
Last updated: November 03, 2015, by Kun Liu