About Me

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é.

Interests
  • Artificial Intelligence
  • Computational Linguistics
  • Information Retrieval
Education

  • 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

Experience

 
 
 
 
 
GenCoin
CEO
GenCoin
Jan 2021 – Present California

Responsibilities include:

  • Analysing
  • Modelling
  • Deploying
 
 
 
 
 
University X
Professor of Semiconductor Physics
University X
Jan 2016 – Dec 2020 California
Taught electronic engineering and researched semiconductor physics.

Contact