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 Mobility on Probabilistic Model Checking and GUI Testing. Currently, he is a researcher on a research project with Embraer on Refinement checking and Probabilistic Model Checking for Safety Assessment as well as on Regression Testing, GUI Testing and Code Coverage with Motorola Mobility. Besides that, he is coordinating a research project with Motorola Mobility, involving several professors from CIn-UFPE, involving several aspects of the smartphones development from image processing to network analysis. From his interests and efforts 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