Education:

  • The University of Iowa, Iowa City, IA                  Dec. 2018

     PhD in Computer Science 

     Advisor: Prof. Cesare Tinelli

     GPA: 4.03/4.00                      

 

  • The University of Iowa, Iowa City, IA                  May 2014  

     Master in Computer Science                                                  

  • Beijing Jiaotong University, Beijing, China        

     B.E. in Software Engineering

Research Interests:

  • Satisfiability Modulo Theories (SMT), Formal methods, Model Checking

 

Email:  baolmeng AT gmail DOT com