Experience

Universidade Nova de Lisboa

• Portugal
• Higher Education
• 500 - 600 Employee

• Researcher

  • Mar 2019 - Present

  Working on data-centric distributed concurrency control. Developing algorithms to calculate the commutativity of methods in OOP languages featuring REPLICATED fields. Languages and tools: OCaml, Coq, SMT-LIB, Z3, Menhir. Working on data-centric distributed concurrency control. Developing algorithms to calculate the commutativity of methods in OOP languages featuring REPLICATED fields. Languages and tools: OCaml, Coq, SMT-LIB, Z3, Menhir.



Universidade da Beira Interior

• Portugal
• Higher Education
• 500 - 600 Employee

• Software Engineer

  • Dec 2018 - Feb 2019

  Development of a proof of correctness of the Horn Algorithm in Why3. Development of a monad to track the intermediate values of Continuation Passing Style (CPS) functions in OCaml. Work partially supported by by the Tezos Foundation through project FACTOR - A Functional Programming Approach to Teaching in Portuguese Foundational Computing Courses - 2018-2019. Development of a proof of correctness of the Horn Algorithm in Why3. Development of a monad to track the intermediate values of Continuation Passing Style (CPS) functions in OCaml. Work partially supported by by the Tezos Foundation through project FACTOR - A Functional Programming Approach to Teaching in Portuguese Foundational Computing Courses - 2018-2019.



University of Lisbon

• Portugal
• Higher Education
• 700 & Above Employee

• Assistant Professor

  • Sep 2016 - Aug 2018

  Taught courses: - Teoria da Computação (Regente)- Laboratorios de Programação. Linguagem veículo: Java.- Programação I. Linguagem veículo: Python- Programação centrada em objectos. Linguagem veículo: Java- Programação II. Linguagem veículo: Python Taught courses: - Teoria da Computação (Regente)- Laboratorios de Programação. Linguagem veículo: Java.- Programação I. Linguagem veículo: Python- Programação centrada em objectos. Linguagem veículo: Java- Programação II. Linguagem veículo: Python



Universidade Autónoma de Lisboa

• Portugal
• Higher Education
• 100 - 200 Employee

• Assistant Professor

  • Sep 2015 - Aug 2016

  Taught courses: - Programação Orientada a Objectos (Regente). Linguagem veículo: Java. - Paradigmas da Programação (Regente). Linguagem veículo: Java, OCaml. Taught courses: - Programação Orientada a Objectos (Regente). Linguagem veículo: Java. - Paradigmas da Programação (Regente). Linguagem veículo: Java, OCaml.



Universidade da Beira Interior

• Portugal
• Higher Education
• 500 - 600 Employee

• Assistant Professor

  • Sep 2014 - Aug 2016

  Taught courses: - Lógica Computacional (Regente) - Teoria da Computação - Programacão. Linguagem veículo: C - Programação II. Linguagem veículo: C Taught courses: - Lógica Computacional (Regente) - Teoria da Computação - Programacão. Linguagem veículo: C - Programação II. Linguagem veículo: C



Universidade do Porto

• Portugal
• Higher Education
• 700 & Above Employee

• Researcher

  • Mar 2014 - Aug 2014

  Studying formal semantics and type systems for languages for sensor networks. Studying formal semantics and type systems for languages for sensor networks.



Universidade Nova de Lisboa

• Portugal
• Higher Education
• 500 - 600 Employee

• Researcher

  • Aug 2012 - Mar 2014

  Studying static analysis techniques for deadlock detection and resolution in concurrent systems. Models: pi calculus, behavioral types. Languages: Standard ML. Studying static analysis techniques for deadlock detection and resolution in concurrent systems. Models: pi calculus, behavioral types. Languages: Standard ML.



École Polytechnique

• France
• Research Services
• 700 & Above Employee

• Researcher

  • Jan 2011 - Jan 2012

  Studying semantics of secret channels, and caracherizing their observational equivalence. Model: secret pi calculus Studying semantics of secret channels, and caracherizing their observational equivalence. Model: secret pi calculus



Università Iuav di Venezia

• Italy
• Higher Education
• 300 - 400 Employee

• Researcher

  • Apr 2009 - Mar 2010

  Studying static analysis techniques for geographical web services (OGC). Studying static analysis techniques for geographical web services (OGC).



University of Lisbon

• Higher Education
• 1 - 100 Employee

• Researcher

  • Apr 2008 - Mar 2009

  Studying static analysis techniques based on session types. Model: pi calculus. Studying static analysis techniques based on session types. Model: pi calculus.



Alceo

• Software Engineer

  • Sep 2002 - Aug 2003

  Developing and testing of VoIP applications. Language: Delphi. Developing and testing of VoIP applications. Language: Delphi.