|
Alexandre
Mota
obtained
his PhD from the Centre of Informatics in 2001. Also in 2001, he won
the Best PhD Thesis Award from the Brazilian Computer Society (SBC).
From 2004 to 2008 he worked in a collaboration with Motorola Inc on Probabilistic Model Checking and GUI Testing.
Currently, he is working on a research project with Embraer on Refinement
checking and Probabilistic Model Checking for Safety Assessment. From his interest and effort to collaborate with industry, Alexandre has a CNPq grant concerning technological development and innovation.
Associate professor at Centre of
Informatics (CIn-UFPE)
E-mail acm(at)cin(dot)ufpe(dot)br
Telephone +55
81 2126-8430 (Ext 4336)
Fax
+55 81
2126-8438
Office C124
Address Av. Jornalista Anibal Fernandes, s/n - Cidade Universitária - 50.740-560 - Recife/PE - Brazil
|
|
|
