IEEE UCF Chapter

My name is Ghaith Haddad. I am currently Secretary and VP for SoutheastCon 2008. I am a Computer Science PhD student at UCF. I hold a MSc degree in Computer Engineering/Digital Systems Track, and a BSc degree in Electrical Engineering/Computer Major. My research interests include working on developing Formal Methods for Real-Time systems, mainly using JML. JML is a behavioral specification language for Java. I'm also interested in developing interdisciplinary applications.




	Ghaith Haddad - Secretary/VP SoutheastCon 2008 My name is Ghaith Haddad. I am currently Secretary and VP for SoutheastCon 2008. I am a Computer Science PhD student at UCF. I hold a MSc degree in Computer Engineering/Digital Systems Track, and a BSc degree in Electrical Engineering/Computer Major. My research interests include working on developing Formal Methods for Real-Time systems, mainly using JML. JML is a behavioral specification language for Java. I'm also interested in developing interdisciplinary applications.
\| Home \| News \| IEEE Info \| Officers \| More... \| UCF \| IEEE International \| IEEE USA \| Region 3 \| Orlando Section \|

Ghaith Haddad - Secretary/VP SoutheastCon 2008