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.

e-mail: depa...@cs.ubc.ca
Dept. of Computer Science,
THE UNIVERSITY OF BRITISH COLUMBIA
201-2366 Main Mall
Vancouver, B.C. V6T 1Z4 Canada