Europass Curriculum Vitae Personal information Surname(s) / First name(s) Rodrigues, Vítor Address(es) Rua Dr. Pedro Augusto Ferreira, no. 61, Hab. 3.7 4200-440, Porto, Portugal Telephone(s) +351925720586 Email(s) Nationality(-ies) Date of birth Gender Occupational field Work Experience vitor.rodrigues@univ-orleans.fr Portuguese 21th of March, 1978 (Porto) Male Research and Development Dates Position held Since May of 2013 up to the present Post-doctoral fellow at the Computer Science Laboratory of Orleans (LIFO) Dates From December of 2013 to April of 2013 Position held Research Assistant Main activities Prove the correctness of parallel program based on the skeleton language OSL (Orléans Skeleton Library) using the COQ Proof Assistant. Extension of his PhD thesis to the static analysis of source programs with concurrency and shared data. Employer University of Orléans Departament Computer Science Laboratory of Orleans (LIFO) Dates From November 2011 to January 2012 Position held Internship Main activities He began the prototyping of a multi-core variant of the static-analyzer developed during his PhD. The expertise in the Prof. Reinhard Wilhelm s group in this area was fundamental for a correct approach to the problem of WCET analysis in multicores. Employer University of Saarbrücken Departament Computer Science Dates From October 2008 to November of 2012 Position held PhD Student Main activities He completed his PhD in the Doctoral Program MAP-i with a 4-years FCT grant. His PhD thesis is entitled Semantics-Based Program Verification: an Abstract Interpretation Approach and focus on the automatic verification of embedded software using the worst-case execution time (WCET) as safety parameter. Web page http://dcc.fc.up.pt/~vitor.rodrigues Employer Fundação para a Ciência e Tecnologia (FCT) PhD grant (SFRH/BD/45029/2008) Dates From July 2007 to September 2008 Position held Software Engineer Main activities He performed requirements engineering and system design, including the software validation and verification of the Ground Simulation Infrastructure framework. Employer Oristeba Space Services Departament ESOC Ground Infrastructure (OPS-GIC) Page 1 / 5 - Curriculum vitæ of
Dates From January 2008 to June 2008 Position held M.Sc. Student at Faculdade de Engenharia da Universidade do Porto (FEUP). Main activities He completed his thesis manuscript for his Master in Informatics entitled On the Specification of Spacecraft Simulators Using Object-Oriented Methodologies. Dates From February 2006 to December 2006 Position He made an INOV-Contacto internship at the European Space Agency Operations Centre (ESOC) in Germany. Main activities He was involved in the modeling and deployment of spacecraft simulators. With his help, the spacecraft simulator framework was for the first time deployed in Linux. Employer ICEP Portugal Departament ESOC Application Mission Data System (OPS-GDA) Dates From March 2004 to February 2006 Position held Researcher with a scientific research scholarship Main activities He participated in the MEDSI European project (Telefonica I+D, GISAT, T-Soft, among others) which main purpose was the creation of a platform for crisis management in critical infrastructures with decision-making support. He started his M.Sc. at Faculdade de Engenharia da Universidade do Porto (FEUP). Employer INESC Porto R&D Institution Departament Information and Communication Systems Unit Dates From March to August 2003 Position held Software Engineer Main activities R&D with the Microsoft s Component Object Model (COM) in the design and implementation of MFX-enabled software components (Material exchange Format). Employer MOG Solutions a spin-off from INESC Porto Dates From September 2000 to February 2003 Postion held He began his activity with a scientific research scholarship and, from September 2001 to February 2003, he was a contracted researcher. Main activities He participated in several European projects of the 5th and 6th framework programs such as ORBIT (BBC R&D), ASSET (Compaq-HP, Thomson, among others) and Metavision (BBC, Snell&Wilcox, among others), which had the common objective to build a distributed computing framework for digital television production studios. Employer INESC Porto R&D Institution Departament Telecommunications and Multimedia Unit Education and Training Dates From October 2008 to November of 2012 Title of qualification awarded PhD degree by the Doctoral Program MAP-i Main subjects Abstract Interpretation and Worst-Case Execution Time Organization Faculty of Sciences of the University of Porto (FCUP) Dates Between July 3rd and July 8th 2011 Title of qualification awarded He attended to the 5th International School on Rewriting Subject Term Rewriting Systems Organization Utrecht Summer School Netherlands Dates From September 2004 to July 2007 Title of qualification awarded Master in Informatics Engineering with a final grade of Muito Bom (Very Good) Main subjects Functional Programming and Parallel Computing Level in national or international M.Sc. classification Page 2 / 5 - Curriculum vitæ of
Dates From 6th to 16th September 2004 Title of qualification awarded Professional formation with the grade of Elevado (top grade) Subject Agile Software Development Dates From 13th November to 18th December 2003 Title of qualification awarded Professional formation with grade of 97% Subject Flash MX Organization Tecla Professional School Dates From September 1995 to July 2000 Title of qualification awarded Degree in Electrical and Computer Engineering (Telecommunications, Electronics and Computers specialization) with a final grade of 15/20 (inside the group of the 10% best students Level in national or international 5-years Engineer Degree classification Personal skills and competence Social skills and competence Technical skills and competences During his researcher activity he has developed adaptation capacities to new challenges and communication skills. He constantly seeks for theoretical solid ground and creativeness. He is capable of managing his time to conciliate personal education activities with technical support to communities of users. Programming Languages: Previous experience with C, Java and ANSI C++. Currently specialized in functional programming using Haskell and theorem proving using the COQ Proof Assistant. Previous experience on distributed and parallel computing, namely with CORBA (Common Object Request Broker Architecture) and MPI (Message Passing Interface). Knowledge of Agile practices for software development: XP (Extreme Programming), TDD (Test-Driven Development) and design patterns (GoF). Strong experience in Requirements Engineering and Software Validation. Experience with the GNU/Linux scripting/packaging languages. Computing Standards: CORBA Components and MDA (Model-Driven Architecture) - OMG (Object Management Group) MXF (Material exchange Format) - SMPTE (Society of Motion Picture and Television Engineers) COM (Component Object Model) - Microsoft GIS (Geographic Information Systems) SMP (Simulation Model Portability) - ESA (European Space Agency) Page 3 / 5 - Curriculum vitæ of
Technical skills and competences Theoretical Computer Science: Denotational Semantics Abstract Interpretation Calculus of Inductive Constructions Personal skills GRE Score: Verbal 370; Quantitative 600; Analytical Writing 4 TOEFL Score: 98 Reading High Listening High Speaking Fair Writing based on reading and listening Good Writing based on knowledge and experience Fair Artistic skills Other skills His secondary school specialization was on Arts Bureau where he achieved the top grade (20/20). He enjoys the practice of swimming, jogging and squash. Additional information Papers and Publications PADL 13 FOPARA 11 CORTA 11 WFLP 11 CAISE 08, Benny Akesson, Mário Florido, and Simão Melo de Sousa. A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. In Fifteenth International Symposium on Practical Aspects of Declarative Languages (PADL), 2013, João Pedro Pedroso, Mário Florido, and Simão Melo de Sousa. Certifying Execution Time. In 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA), pages 108 125, 2011, Mário Florido, and Simão Melo de Sousa. Back Annotation in Action: From WCET Analysis to Source Code Verification. In Actas of Compilers, Programming Languages, Related Technologies and Applications (CoRTA), pages 276 281, September 2011, Mário Florido, and Simão Melo de Sousa. A Functional Approach to Worst-Case Execution Time Analysis. In 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP), pages 86 103. Springer, 2011, João Correia Lopes, and Ana Moreira. An Hybrid Design Solution for Spacecraft Simulators. In CAiSE Forum, pages 29 32, 2008 Page 4 / 5 - Curriculum vitæ of
CONFTELE 03 NAB 03 SYNCHRON 11 LACL Seminars 13 ITG Seminars 13 et al. MXF Supporting the Integration of Media Applications and Broadcasting Products. In Actas of 4th Conference on Telecommunications (CONFTELE). Aveiro, 18-20 June 2003 Paula Viana, Mário Cordeiro, et al. A Unified Solution for the Integration of Media Applications and Products in Broadcaster Environments - The ASSET Architecture. National Association of Broadcasters annual conference (NAB). Las-Vegas, USA. 5-10 April 2003 Talks Compositional Timing Analysis on Multi-Core Architectures. November 27th, Dammarie-les-Lys, France A Declarative Timing Analysis for Multicores Using the Latency-Rate Abstraction. February 4th, LACL (Laboratoire d Algorithmique, Complexité et Logique), Université Paris-Est, France Semantics-based Program Verification: an Abstract Interpretation Approach. June 7th, Informatics Theory Group, Otto-Friedrich-Universität Bamberg, Germany Page 5 / 5 - Curriculum vitæ of