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