Henrique Rebęlo
M.Sc. in Computer Engineering, University of Pernambuco, 2008.
Home Publications Talks Projects Resources Related Links Miscellaneous Current Positions PhD Student in Computer Science Informatics Center, UFPE Federal University of Pernambuco In cooperation with: - University of Central Florida (UCF), School of Electrical Engineering & Computer Science (EECS), USA MSR Intern, Microsoft Research, USA (2010) Electronic Mail Address hemr (at) cin.ufpe.br Research Interests Aspect-Oriented Software Development. Design by Contract. Software Specification and Verification. Software Architecture. Product Lines. Empirical Software Engineering. Software Metrics. Programming Languages. Distinctions and Awards MSR Internship - Selected as one of Microsoft Research Latin American Interns, Software Reliability Research (SRR) group, which is part of the Research in Software Engineering (RiSE) team, Redmond - 2010. Nomination for the 28th Edition of Who's Who in the World, Marquis Biographee, achievements in research, U.S, 2010. Member of the Advisory Board of Microsoft Innovation Center Pernambuco FY2010 (MIC PE FY2010), since July 2009. Certified ScrumMaster (CSM), Scrum Alliance, 2009. Certified Scrum Product Owner (CSPO), Scrum Alliance, 2009. Project Award - member of the Petrilogic project granted by IBM Eclipse Innovation Grants Awards Program, EIG 2005. Sun Certified Programmer for Java2 platform 1.4, Sun Microsystems, 2005. Computer Societies Membership Association for Computing Machinery (ACM) (No. 0779302), member since: 2008. IEEE Computer Society (No. 90648774), member since: 2009. Brazilian Computer Society (SBC) (No. 15540), student member since: 2005. VALID'11 - PC Member, 3rd IARIA Intl. Conference on Advances in System Testing and Validation Lifecycle ICISA'11 - PC Member, 2nd IEEE Intl. Conference on Information Science and Applications AOSD'11 - Local Organizing Committee, 10th ACM Intl. Conference on AOSD FOAL'11 - Proceedings Chair, 10th Foundations of AO Languages workshop Lecturer @ CBSoft'10 Short Course: "Java Modeling Language" Speaker @ MSR Internship Talk'10: "Static Semantic Diff" Speaker @ SRR Seminar Series'10: "AOP, Program Verification, and Applications" SERP'10 - PC Member, 9th WORLDCOMP'10 Intl. Conference on Software Engineering Research and Practice VALID'10 - PC Member, 2nd IARIA Intl. Conference on Advances in System Testing and Validation Lifecycle VALID'09 - PC Member, 1st IARIA Intl. Conference on Advances in System Testing and Validation Lifecycle Speaker @ EECS Seminar Series'09: "AOP Framed!" Speaker @ EECS Seminar Series'08: "An Aspect-Oriented Approach to implement ..." Centro de Informática UFPE Cidade Universitária - CEP 50740-540 Recife/PE - Brazil Tel - +55 (81) 2126 8430 ext. 4770
Home
Publications
Talks
Projects
Resources
Related Links
Miscellaneous
Informatics Center, UFPE Federal University of Pernambuco In cooperation with:
- University of Central Florida (UCF), School of Electrical Engineering & Computer Science (EECS), USA MSR Intern, Microsoft Research, USA (2010)
Electronic Mail Address
hemr (at) cin.ufpe.br
Centro de Informática UFPE Cidade Universitária - CEP 50740-540 Recife/PE - Brazil Tel - +55 (81) 2126 8430 ext. 4770