ARMANDO GONÇALVES DA SILVA JUNIOR
Rua Otaviano Pessoa Monteiro, 303, Casa Caiada
53130-340 – Olinda, Brazil
+55 81 88059710
[email protected]
MOTIVATION
To build a CHR Reasoning Explanation Facility (CHR-REF) is one of the goals of my Master thesis:
“CORRECT: Constraint, Object and Rule based Engine with Components and Tracing”. Therefore, this internship
will be crucial because we can use CHROME, our CHR engine, as a study case.
PERSONAL
Full Name:
Date of Birth:
Place of Birth:
Nationality:
Marital Status:
Armando Gonçalves da Silva Junior
21/06/1987
Recife, Brazil
Brazilian
Single
EDUCATION
Center of Anglo American Culture
Advanced English Language Course
February 1999 – June 2005
Recife, Brazil
Federal University of Pernambuco (UFPE)
MSc Candidate in Computer Science
Since January 2010
Recife, Brazil
Federal University of Pernambuco (UFPE)
BS degree in Computer Science
September 2005 – December 2009
Recife, Brazil
EXPERIENCE
E.life estudo de Mercados Ltda.
Intern, Software Developer
November 2008 – December 2009
Recife, Brazil
Federal University of Pernambuco (UFPE)
Recife, Brazil
Teaching assistance, Software Infrastructure lectured by Ph. D. Carlos André Guimarães
Ferraz.
June 2008 – June 2009.
Federal University of Pernambuco (UFPE)
Recife, Brazil
Teaching assistance, Algorithms lectured by Ph. D. Liliane Rose Benning Salgado.
January 2008 – June 2008.
Federal University of Pernambuco (UFPE)
Recife, Brazil
Teaching assistance, Introduction to Programming lectured by Ph. D. Liliane Rose Benning
Salgado.
January 2008 – June 2008.
Federal University of Pernambuco (UFPE)
Recife, Brazil
Teaching assistance, Computational Methods lectured by Ph. D. Liliane Rose Benning Salgado.
November 2006 – May 2007.
Federal University of Pernambuco (UFPE)
Extension Activity, Mathematics teacher for students in public school.
January 2005 – December 2009.
Recife, Brazil
LANGUAGES
Portuguese:
English:
Spanish:
French:
Mother Language
Advanced Level
Basic Level
Basic Level
PUBLICATIONS


SILVA JUNIOR, A. G. ; ROBIN, J. P. L. . Engenharia Dirigida por Modelos de um Compilador de
Regras Lógicas para Java. In: XVII CONIC, 2009, Recife. XVII Congresso de Iniciação Científica
da UFPE, 2009.
SILVA JUNIOR, A. G. ; ROBIN, J. P. L. . Desenvolvimento de regras ATL de transformação de
PIM de componentes KobrA2 em UML2.1/OCL2.0 para PSM e código componentes JAVA OSGi.
In: XVI CONIC, 2008, Recife. XVI Congresso de Iniciação Científica da UFPE, 2008.
RELEVANT ACTIVITIES AND SKILLS







Structured and organized logical thinking.
Solid mathematical and geometrical foundation and reasoning.
Experience with the coordination and organization of university seminars and conferences.
Fluency in Portuguese, English.
Good presentation skills and ease to communicate.
Team worker, proactive and quick, self learner.
Interest in international projects and readiness to travel.
INTERESTS




CHR, Automated Reasoning
Web Security and Cryptography
Model Driven Engineering
Trace Analysis