Formal Methods @ UCF

Alexandre Bassel

Since Fall 2009 I am a Computer Science PhD student in the school of Electrical Engineering & Computer Science at University Of Central Florida under suppervision of Dr. Gary T. Leavens and Dr. Fernando Gomez.
I got my bachelor degree in CS from Centro Universitario da FEI(Brazil) and my M.Sc. from UCF in Fall 2008.

View My Website