Personal contact information
Career
Software engineer and formal methods expert. CLEARSY Safety Solutions Designer, Aix-en-Provence, France.
1999-2015. Tenured professor. Department of Informatics and Applied Mathematics, Federal University of Rio Grande do Norte. Natal, Brazil.
2013-2014. Sabbatical. Lorraine Research Laboratory in Computer Science and its Applications (LORIA) - VeriDis (Verification of Distributed Systems) Group. Nancy, France.
2002-2003. Sabbatical. Lorraine Research Laboratory in Computer Science and its Applications (LORIA) - Cassis (Combining Approaches for the Security of Infinite state of Systems) Group. Nancy, France.
1995-1997. Visiting researcher. School of Computer Science, Carnegie Mellon University. Pittsburgh, USA.
1992-1996. PhD candidate. Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA) Lab. University of Grenoble. Grenoble, France.