Experience

Instituto Superior de Engenharia do Porto

• Portugal
• Higher Education
• 700 & Above Employee

• Researcher

  • Feb 2019 - Present

  Participation and co-management of several national and international projects in cybersecurity field. Participation and co-management of several national and international projects in cybersecurity field.



Universidade do Porto

• Portugal
• Higher Education
• 700 & Above Employee

• Invited Assistant Teacher

  • Mar 2017 - Aug 2019

  - Regular Expressions; Grammars; Automata Theory; Turing Machines. – Sets; Logic; Relations; Graphs. - Regular Expressions; Grammars; Automata Theory; Turing Machines. – Sets; Logic; Relations; Graphs.



Defined.ai

• United States
• Information Technology & Services
• 100 - 200 Employee

• Customer Success Manager

  • Mar 2018 - Jan 2019



VisionTechLab

• Portugal
• Business Consulting and Services

• Project Manager

  • Nov 2016 - Mar 2018

  Management of all project phases; Management of the technical team; Supervision of internships. Management of all project phases; Management of the technical team; Supervision of internships.



Movvo

• IT Services and IT Consulting
• 1 - 100 Employee

• Data Scientist Researcher

  • Jan 2016 - Oct 2016

  Maintenance of several batch scripts; Implementation of performance analytics in Python, according to customer requirements; Database maintenance; Data analysis and reporting. Maintenance of several batch scripts; Implementation of performance analytics in Python, according to customer requirements; Database maintenance; Data analysis and reporting.



Faculdade de Ciências da Universidade do Porto

• Portugal
• Higher Education
• 200 - 300 Employee

• Phd Student and Researcher

  • Feb 2012 - Dec 2015

  Conferences: Days in Logic 2012. Évora, Portugal. February, 2012. CIAA 2012: 17th International Conference on Implementation and Application of Automata (CIAA). Porto, Portugal. July, 2012. DCFS 2012: 14th International Workshop on Descriptional Complexity of Formal Systems. Braga, Portugal. July, 2012. SOFSEM 2013: Theory and Practice of Computer Science. Spindleruv Mlyn, Czech Republic. January, 2013. CIAA 2013: 18th International Conference on Implementation and Application of Automata. Halifax, Canada. July, 2013. CIAA 2014: 18th International Conference on Implementation and Application of Automata. Guissen, Germany. July, 2014. CiE 2015: Computability in Europe. Bucharest, Romania. June 29 - July 3, 2015. NCMA 2015: 7th Non-Classical Models of Automata and Applications. Porto, Portugal. August 31 and September 1, 2015. Show less



ESEIG

• Vila do Conde, Porto

• Invited Assistant Teacher

  • Oct 2010 - Jul 2011

  AEISP classes. Algorithmics and programming (C# language). Databases: SQL programming environment. AEISP classes. Algorithmics and programming (C# language). Databases: SQL programming environment.



Universidade do Porto

• Portugal
• Higher Education
• 700 & Above Employee

• Assistente de Investigação do projecto Rescue

  • Jun 2010 - Dec 2010

  Translation of a subset of the Python language to the language of the software verification platform Why. This verification condition generator produces verification conditions from annotated programs given as input, and outputs conditions for several existing provers. Translation of a subset of the Python language to the language of the software verification platform Why. This verification condition generator produces verification conditions from annotated programs given as input, and outputs conditions for several existing provers.