Michael is a PhD student in the Department of Electrical and Computer Engineering under the supervision of Dr. José A. B. Fortes. Prior to joining the ACIS lab, Michael received both his Bachelors of Science and Masters of Science degrees in Computer Engineering from the University of Florida. His research focuses on designing and evaluating trustworthy computational models using both verifiable and probabilistic methods.