I used to be a graduate student in the Department of Computer Science at Kansas State University. I defended my Ph.D. thesis on September 19th, 2003. I officially graduated in December 2003.
My research has been in the area of real-time protocol verification and composition, under the advice and supervision of Dr. Gurdip Singh. More specifically, I have been studying, on one hand, explicit-state and symbolic model-checking of certain classes of timed automata, and on the other hand, benefits of performing real-time protocol verification at the level of service (rather than protocol) specification. I was with the graduate program of K-State since August 1996. Prior to that, I completed my undergraduate studies at the Politehnica University of Bucharest.
