Curriculum vitae

Education

• B.S. in Information Technology, Hanoi University of Science and Technology
• M.S. in Computer Science, Purdue University
• Ph.D in Computer Science, Michigan State University

Work experience

• 8/2022 - present: Assistant Professor
  • Department of Electrical Engineering and Computer Science, University of wyoming
• 2021-2022: Postdoctoral Fellow
  • Department of Computer Science, Georgetown University
• 2009 - 2022: Lecturer
  • Department of Computer Science, School of Information and Communication Technology, Hanoi University of Science and Technology

Skills

• Programming Languages: Java, C/C++, Python, Standard ML

• Formal Methods: SMT solvers (Z3, NuSVM, CVC4), Binary Decision Diagram (BuDDy), Model checkers (PRISM, UPPAAL).

• Frameworks: Matlab, Parallel programming with MPI and OpenMP.

• Operating Systems: Linux, Windows, Android, Xinu.

Publications

Service and leadership

• External reviewer, Sub-reviewer: ICDCN 2022, SRDS 2021, INFOCOM 2021, SRDS 2020, ICDCN 2019, GI 2019 (Genetic Improvement Workshop), SRDS 2018, ICDCS 2017.
• Volunteer at 2017 Symposium on Principles of Distributed Computing (PODC’17).
• Representative of CSE graduate students in The Council of Graduate Students, Michigan State University, 2018-2019.
• Graduate student representative at University Out-of-State Fees Committee, Michigan State University, 2018 - 2019.
• Graduate student representative at University Committee on Graduate Studies, Michigan State University, 2016 - 2017.
• Member of Graduate Wellness Committee, The Council of Graduate Students, Michigan State University, 2016, 2018.

Awards

• SIAM Travel Award for waiver of registration fee at SODA 2021 (virtual conference).
• The Graduate School Dissertation Completion Fellowship, Michigan State University, 2020
• Graduate School Writing Fellowship, Michigan State University, 2019
• Department of Computer Science and Engineering Fellowship, Michigan State University, Summer 2019, Summer 2018
• PODC 2017 Student Travel Grant
• Sixth Summer School on Formal Techniques Travel Grant, 2016
• Vietnam International Education Development Fellowship, 2014
• Vietnam Education Foundation Fellowship, 2009
• President’s Paper of Commendation for Excellent Graduates, Hanoi University of Science and Technology, 2006
• Motorola Corp. and Ministry of Post and Telecommunication Scholarship for Excellent Students in Information Technology in Vietnam, 2006
• Fuji - Xerox Scholarship for Excellent Students in Information Technology, 2004
• Hanoi University of Science and Technology Scholarship for Academic Excellence, 2001 - 2006