Hi! Thank you for visiting my page! I am Mike, who have strong interest in machine-learning-guided formal verification of Hardware/Software. I graduated from Yanbian University in Aug 2022, and now I am a Software Engineer in Haier.
Download my resumé.
PhD in Artificial Intelligence, 2012
Stanford University
MEng in Artificial Intelligence, 2009
Massachusetts Institute of Technology
BSc in Artificial Intelligence, 2008
Massachusetts Institute of Technology
Responsibilities include: