| 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.
Hadeel and I will get married in May 9th 2008. For those who would like to hear our wedding news, you will find many news and useful links in our wedding page. I thought of building some kind of "crash course" for those who want to get married, Our experience might be of good use for them.
Read My Résumé
See my photos
Find how to contact me