Home | Publications | Research | Teaching
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 2018
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
2017.8-present: Dept. of Electrical and Computer Engineering, Minnesota State University at Mankato, Associate Professor
2012.8-2017.7: 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