Mission and Vision
Parallel & Distributed Model Checking
My name is Flavio M. de Paula.
I have successfully defended my doctoral thesis on 04/27/12 under the supervision of
Prof. Alan Hu
In early 2013, I've joined IBM's EDA (Verification Tools) team Austin, TX.
Dept. of Computer Science
, THE UNIVERSITY OF BRITISH COLUMBIA 201-2366 Main Mall Vancouver, B.C. V6T 1Z4 Canada
Last updated: January, 2014.