Design by Contract

Dr. Hoda Khalil
Dr. Hoda Khalil
Postdoctoral Research Fellow and Contract Instructor

My research interests include software engineering, validation and verfication, and modeling and simulation.