SOUZA NETO, P. A. - Biography
I am Professor (D.302 level) of Federal Institute of Rio Grande do Norte (IFRN)
since August 2005. My main research interests are: programming languages (object and aspect oriented), specification language design, formal methods, model checking, and their
applications to the design of software systems.
Current Doctorate in Computer Science by Department of Informatics and Applied Mathematics from
/">Federal University of Rio Grande do Norte - UFRN, since 2008.
Main areas: Software Engeneering and Programming Languages.
Advisor: Prof. Martin Alejandro Musicante.
Master in Systems and Computer by Department of Informatics and Applied Mathematics from
/">Federal University of Rio Grande do Norte - UFRN, fineshed in september 2007.
Main area: Software Engeneering .
Advisor: Profa. Anamaria Martins Moreira .
Dissertion Title: JCML - Java Card Modeling Language: Definição e Implementação (Portuguese);
JCML - Java Card Modeling Language: Definition and Implementation (English).
Graduation in Software Development Technology , by Department of Information Technology of the
Federal Technological Education Center of Rio Grande do Norte , fineshed in july 2005.
Adivisor: Prof. João Maria Filgueira
Title: Proposta de Modelo de
Gerência de Conhecimento para Acompanhamento de Projeto de Software .
name: "Plácido Antônio de Souza Neto"
email: placido.neto [AT] ifrn [DOT] edu [DOR] br : AT='@'; DOT='.'
gmail: placido.neto
skype: placido.neto
city: "Natal"
http://del.icio.us/placido.neto