His research will focus on design, implementation, testing, and verification of safety and liveness of concurrent and distributed systems. He earned his Ph.D. in Computer Science from the University of California, Los Angeles and most recently served as a Postdoc researcher at the Massachusetts Institute of Technology.