|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
[12/5/2007] Launched this website