Ben-Hau is a first-year Ph.D. student in Software Engineering at the Software and Societal Systems Department, Carnegie Mellon University, co-advised by Dr. Chris Timperley and Dr. Eunsuk Kang. His research interests include cyber-physical systems, system design methodology, and formal verification.