Baoluo Meng

PhD, Formal Methods, Computer Science (The University of Iowa) MS, Computer Science (The University of Iowa)

Baoluo Meng is a Formal Verification Research Engineer at GE Research. His main research interests are formal methods, satisfiability modulo theories and their applications in program verification. Baoluo obtained his PhD and MS in Computer Science from the University of Iowa.

We're ready to partner with you. 

Contact Us