Subject of the Internship: [236] "Extending CHR with Components"

Subject of the Internship: [236] "Extending CHR with Components"
This internship’s theme was defined in a cooperation by my Master Thesis’ advisor, Prof. Jacques
Robin and the Internship’s tutor, Dr. François Fages based on my Master’s dissertation at UFPE:
“Encapsulating Constraint Handling Rule Bases into Software Components for Assembly”.
This project’s purpose is to explore CHR (Constraint Handling Rules) a versatile logical rule-based
constraint programming and knowledge representation language to project solvers where the rules are
encapsulated inside software components providing and required solving service interfaces. During this
internship, I will investigate, the desired syntax and formal semantics of such CHR base components, a
central part of my Master Thesis, which constitutes the main topic of the 2007/2008 C4RBCP (Component
for Rule-Based Constraint Programming) co-funded by INRIA and FACEPE between the CONTRAINTES
group headed by Dr. Fages at INRIA-Rocquencourt and the ORCAS research group of Prof. Robin.
Within the framework of this project, Prof. Robin will spend a one-month mission at INRIA to work
presentially with Dr. Fages and myself on my Master Thesis and Internship research. Since I currently work a
six hour a day job unrelated to my research, this Internship will not only constitute a unique opportunity to
get an international research experience, but also to allow me to fully dedicated myself to my Master Thesis’s
research during six months in a world-leading team on the topic of my Master Thesis. It will thus
considerably improve my chances of completing my research within the normal time frame expected by the
Master Program at CIn-UFPE while producing results of sufficient depth and originality to produce a Qualis
publication within that time frame.
Cleyton Mário de Oliveira Rodrigues
Contact Information
Address: Rua Padre Champagnat, 120, Apto 202 Bloco A, Cidade Universitária - Recife – Pernambuco –
Brazil, CEP 50740-320
Home Phone: +55 81 3453-3506
Mobile Phone: +55 81 9117-0646
E-mail: [email protected]
Education
2007, Federal University of Pernambuco – UFPE, Masters Degree in Computer Science (Current).
2001-2006, University of Pernambuco – UPE, BSc in Computer Engineering (CRA = 8,88)
Undergraduate Projects
An Integrated environment to model and formal analysis based on Petri Nets (2003-2004). A scientific
research funded by PIBIC/POLI.
A SystemC’s Model based on Temporized Petri Nets (2004-2005). A scientific research project funded by
PIBIC-FACEPE/CNPq.
Teaching Formal Methods through Eclipse (2005-2006).
Work Experience
Centura Programmer in Procenge – Processamento de Dados e Engenharia de Sistemas Ltda, Recife,
Pernambuco – Brazil. (02/2005 - Current).
Teaching Assistant at University of Pernambuco, Recife, Pernambuco – Brazil.
I worked as Teaching Assistant at Programming Language I in 2002.
Software Engineer in the project ‘Teaching Formal Methods through Eclipse’, under the supervision of Prof.
Ricardo Massa Ferreira Lima at University of Pernambuco, Recife, Pernambuco – Brazil (08/2005 –
05/2006).
Courses
Development of Web Sites (2001) 20 h.
Introduction to Java (2002) 20 h.
Initiation to Windows’ Net (2002) 30 h.
XQuery and XPath (2005) 3 h.
Programming in .Net 2.0 (2005) 3 h.
Requirements’ Engineering. (2007).
Analysis and Financial Planning, promoved by SEBRAE – Serviço Brasileiro de Apoio às Micro e Pequena
Empresas. (28/09/2006 - 29/10/2006) 15 h.
Learning to Entrepreneur, promoved by SEBRAE – Serviço Brasileiro de apoio às Micro e Pequenas
Empresa. (08/11/2006 - 07/12/2006) 16h.
Events
IV University Week at Polytechnic School of Pernambuco, Recife, Pernambuco – Brazil. (23/10/2001 –
26/10/2001).
I Computer Engineering Seminar – SEC at Polytechnic School of Pernambuco, Recife, Pernambuco – Brazil.
(04/03/2002 – 08/03/2002).
V University Week at Polytechnic School of Pernambuco, Recife, Pernambuco – Brazil. (07/10/2002 –
11/10/2002).
IX Brazilian Symposium on Programming Languages – SBLP2005 at Polytechnic School of Pernambuco,
Recife, Pernambuco – Brazil. (23/05/2005 – 25/05/2005).
9ª Scientific Initiation (PIBIC-FACEPE/CNpq), at Federal University of Pernambuco, Recife, Pernambuco –
Brazil. (27/07/2005 – 29/07/2005).
XXI Brazilian Symposium on Software Engineering at João Pessoa, Paraíba – Brazil. (15/10/2007 –
19/10/2007).
II Workshop on Ontologies and Metamodelling in Software and Data Enineering, promoved by XXI
Brazilian Symposium on Software Engineering at João Pessoa, Paraíba – Brazil. (15/10/2007 – 19/10/2007).
Publications
Thesis
Mapping LSC’s structures in Colored Petri Nets, Graduate Thesis. Polytechnic School of Pernambuco,
University of Pernambuco, 2006.
http://www.dsc.upe.br/tcc/20061/CleytonRodrigues.pdf
Other publications
Rodrigues, C., Lima, R., A SystemC’s Model based on Temporized Petri Nets, 9ª Scientific Initiation
(PIBIC-FACEPE/CNpq), 2005.
Awards
1st place on scientific research project: “An Integrated environment to model and formal analysis based-on
Petri nets” funded by PIBIC/POLI.
1st place at my graduate course Computer Engineering at Polytechnic School of Pernambuco, Recife,
Pernambuco – Brazil. 2006.1
1st place at all graduate courses at Polytechnic School of Pernambuco, Recife, Pernambuco – Brazil. 2006.1
Project ‘Teaching Formal Methods through Eclipse’ awarded by IBM Faculty Awards (Eclipse Innovation
Grant).
Computer Skills
Java (5 years experience), C (3 years experience), Centura (3 years experience), Haskell (2 years experience),
SQL (4 years experience), HTML (2 years experience), PNML (2 years experience), SystemC (1 year
experience), VHDL (2 years experince), Eclipse (4 years experience), PlSql (3 years experience).
Languages Skills
English: Advanced reading, Advanced writing, Advanced conversation.
Spanish: Basic reading, Basic writing.