1. HAO LI
3561 KenbrookeCt, KalamazooMI 49006| 734-262-3027| hao.81.li@gmail.com
SUMMARY
I am currentlya PhDstudent at Western Michigan University. My researchfocuses on formalmethod.Mostofmy work primary focuses on
developing formal method toimprove softwarereliability and security.My research is currentlyfunded by NFS andadvised by Dr. Zijiang Yang at
Computer Science Department, WMU.
EDUCATION
WesternMichiganUniversity,Kalamazoo, MI, USA
PhD in Computer Science From 2012 to thepresent
Eastern Michigan University, Ypsilanti, MI,USA
B.S. in Computer Science 2012
Wuhan University,Wuhan, Hubei,China
B.E. in Software Engineering 2012
AWARDS
Second Prizein National Olympiad inInformatics in Xinjiang Provinces, China 2006
NSF Scholarship at FifthSummer Schoolon Formal Techniques May 17th to 22th 2015
TEACHING EXPERIENCE
Teaching Assistant-CS1120Computer ScienceII Lab Section (JavaProgramming) Spring 2013-Fall 2015
Collaborated on curriculum,lab assignments and exam development, lectured students on software
development toolusage, reviewthekey concepts ofObject-Orientedprogramming,metwith
students during officehours or upon request, and graded alltheprogramming assignments.
RESEARCH PROJECT
Symbolic Execution onMulti-Threaded program withRelaxed MemoryModel
Researcher August 2013 –July 2015
Collaborated on literature review, algorithm designand experimentdesign, implementthe
prototype toolbasedon open sourceSymbolicExecutionEngineCloud9.
VACCS - VisualizationandAnalysis for C CodeSecurity (funded by NSF) January 2016 –The Present
Collaborated on literature reviewandtool development, leveragethedynamicand static analysis
tools such as Valgrind, Splint,and Pin to identify thesecurity vulnerabilities in C program,
collaborated withother fellows to visualize thevulnerabilities.
Researcher January 2016 –The Present
Taint Analysis on ConcurrentProgram
Researcher [Pick the Year]
Collaborated on literature reviewandalgorithm design, implement the taintanalysis toolbased on
open source Symbolic Execution EngineKLEE.
LANGUAGES
Chinese-NativeLanguage
English-Speak fluently and read/write withhigh proficiency