| My name is Ghaith Haddad, I'm a PhD student at the University of Central Florida, I hope you enjoy navigating through my website... |
Here you can find general information about me.
My research interests include working on developing Formal Methods for Real-Time systems. Mainly using JML. JML is a behavioral specification language for Java.
Read My Résumé
See my photos
Find how to contact me