Contact Information

Office: TS S 144
Phone: +1-507-351-5287
Email: nannan DOT he AT mnsu DOT edu
Mail: Department of Electrical and Computer Engineering Technology
242 Trafton Science Center N
Mankato, MN 56001

Teaching in Spring 2017

  • Introduction to Electrical and Computer Engineering I
  • EET340: Programmable Hardware Technology
  • EE489/EE589: Real-time Embedded Systems
  • Areas of Interest

  • Rigorous and cost-efficient development of Cyber-Physical systems
  • Model-based development and testing of embedded software systems
  • Computer-aided formal verification, SAT/SMT based model checking
  • Electronic design automation, system-level hardware design and synthesis
  • Automated reasoning, especially bit-vector theory
  • Biography

  • 2012.8-present: Dept. of Electrical and Computer Engineering, Minnesota State University at Mankato, Assistant Professor
  • 2012.3-2012.7: Advanced Digital Sciences Centre(Singapore), Post-doctoral Fellow
  • 2009.6-2012.2: Dept. of Computer Science, Oxford University(UK), Post-doc Researcher