???global.info.a_carregar???
JOSÉ MIGUEL PAIVA PROENÇA is a researcher and invited professor at Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, working in the Research Center in Real-Time & Embedded Computing Systems, investigating coordination aspects and formal methods in the context of Cyber-Physical Systems. He is currently involved as a researcher in 1 H2020 project and in 2 FCT projects, in one of which as coordinator. He belongs to the steering committee of 2 international conferences, acted as program-committee chair for 5 international research venues with edited proceedings, edited 2 journal volumes, was the member of 16 program-committees, reviewed 8 journals and 34 publications, and collaborated with 58 researchers for his scientific publications. He graduated from the University of Minho as the best student in Math & Computer Science (2005), and executed his PhD in CWI, Amsterdam – a research institute in the top 28 of Europe and top 83 worldwide (http://research.webometrics.info). He worked on coordination models: models that describe how runtime components can interact with each other under the supervision of Prof. Farhad Arbab. In 2010 he joined KU Leuven University, in Belgium – a university in the top 11 of Europe and top 77 worldwide (same source as above). He continued to work in the coordination field and investigated variability within the HATS european (FP7) project, collaborating mainly with Prof. Dave Clarke. In 2014 he started to collaborate within the Wireless Sensor Group, mainly with Prof. Danny Hughes, where modelling and experimenting with communication models in resource-constraint devices. In 2015 he returned to U.Minho, working as a post-doctoral researcher collaborating with Prof. Luis Barbosa, and taught as an invited assistant professor at U.Minho (2016-1019).
Identificação

Identificação pessoal

Nome completo
JOSÉ MIGUEL PAIVA PROENÇA

Nomes de citação

  • PROENÇA, JOSÉ

Identificadores de autor

Ciência ID
2412-FE81-2767
ORCID iD
0000-0003-0971-8919

Moradas

  • CISTER Research Center – ISEP, Rua Dr. António Bernardino de Almeida 431, 4249-015, Porto, Porto, Portugal (Profissional)

Websites

  • http://jose.proenca.org (Pessoal)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Espanhol; Castelhano Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A2)
Francês Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2)
Holandês Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2)
Russo Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2)
Alemão Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2006/01/01 - 2009/12/31
Concluído
Synchronous Coordination of Distributed Components (Doutoramento)
Universiteit Leiden, Países Baixos
"Synchronous Coordination of Distributed Components" (TESE/DISSERTAÇÃO)
2000/09/01 - 2005/10/31
Concluído
Matemática e Ciências da Computação (Licenciatura)
Universidade do Minho, Portugal
18/20
Percurso profissional

Ciência

2019/02/06 - Atual Investigador Contratado (Investigação)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2018/11/01 - 2019/01/31 Investigador Contratado (Investigação)
Instituto de Engenharia de Sistemas e Computadores, Portugal
2015/02/01 - 2018/10/31 Pós-doutorado (Investigação)
Instituto de Engenharia de Sistemas e Computadores, Portugal
2010/02/01 - 2016/01/31 Pós-doutorado (Investigação)
Katholieke Universiteit Leuven, Bélgica
2006/01/01 - 2009/12/31 Investigador (Investigação)
Centrum Wiskunde en Informatica, Países Baixos
2005/04/01 - 2005/10/31 Investigador (Investigação)
Universidade do Minho, Portugal

Docência no Ensino Superior

2019/09/01 - Atual Assistente Convidado (Docente Universitário)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2016/02/01 - 2019/03/31 Assistente Convidado (Docente Universitário)
Universidade do Minho, Portugal
2012/09/01 - 2015/08/31 Monitor (Docente Universitário)
Katholieke Universiteit Leuven Departement Computerwetenschappen, Bélgica
Projetos

Bolsa

Designação Financiadores
2013 - 2018/01/30 Adaptable Coordination
SFRH/BPD/91908/2012
Katholieke Universiteit Leuven Departement Computerwetenschappen, Bélgica

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
2006 - 2009/12/31 Synchronous Coordination of Distributed Components
SFRH/BD/22485/2005
Bolseiro de Doutoramento
Universiteit Leiden, Países Baixos
Fundação para a Ciência e a Tecnologia

Projeto

Designação Financiadores
2019 - Atual REASSURE: Running Secure Runtime Verification for Reliable Real-Time Embedded Software
NORTE-01-0145-FEDER-028550
Bolseiro de Pós-Doutoramento
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
Fundação para a Ciência e a Tecnologia
2018 - 2021/07/25 DaVinci: Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
PTDC/CCI-COM/29946/2017
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
2018 - 2021/07/25 KLEE: Coalgebraic Modeling and Analysis for Computational Synthetic Biology
POCI-01-0145-FEDER-030947
Pós-doutorando (sem bolsa)
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
Fundação para a Ciência e a Tecnologia
2016 - 2019/03/31 TRUST: Trustworthy Software Design with Alloy
POCI-01-0145-FEDER-016826
Pós-doutorando (sem bolsa)
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
2017 - 2018/06/30 LightKone: Lightweight computation for networks at the edge
732505
Pós-doutorando (sem bolsa)
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Horizon 2020

Outro

Designação Financiadores
2015 - 2016/12/31 EMD - Elastic Media Distribution for Online Collaboration.
imec.icon/emd2015
Pós-doutorando (sem bolsa)
Katholieke Universiteit Leuven, Bélgica
iMinds

IWT - Agency For Innovation By Science And Technology
2014 - 2015/09/30 TRANSITION - From Ad-Hoc Code Development To Code Reuse Through Middleware For Networked Embedded Control Systems
IOF/kennisplatform/transition2013
Pós-doutorando (sem bolsa)
Katholieke Universiteit Leuven, Bélgica
Katholieke Universiteit Leuven
Produções

Publicações

Artigo em conferência
  1. Proença, J; Madeira, A. "Taming Hierarchical Connectors". 2019.
    10.1007/978-3-030-31517-7_13
  2. Cledou, G; Proenca, J; Sputh, BHC; Verhulst, E. "Coordination of Tasks on a Real-Time OS". 2019.
    10.1007/978-3-030-22397-7_15
  3. Cruz, R; Proença, J. "ReoLive: Analysing Connectors in Your Browser". 2018.
  4. Almeida, JB; Cunha, A; Macedo, N; Pacheco, H; Proenca, J. "Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)". 2018.
    10.1145/3236777
  5. Halder, R; Proenca, J; Macedo, N; Santos, A. "Formal Verification of ROS-based Robotic Applications using Timed-Automata". 2017.
    10.1109/formalise.2017.9
  6. Cledou, G; Proenca, J; Barbosa, LS. "A Refinement Relation for Families of Timed Automata". 2017.
    10.1007/978-3-319-70848-5_11
  7. Cledou, G; Proenca, J; Barbosa, LS. "Composing Families of Timed Automata". 2017.
    10.1007/978-3-319-68972-2_4
  8. Proenca, J; Baquero, C. "Quality-Aware Reactive Programming for the Internet of Things". 2017.
    10.1007/978-3-319-68972-2_12
  9. Daniels, W; Proenca, J; Clarke, D; Joosen, W; Hughes, D. "Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications". 2015.
    10.1145/2737166.2737168
  10. Proença, Jose; Clarke, Dave. "Typed Connector Families". 2015.
    10.1007/978-3-319-28934-2_16
  11. Daniels, W; Proença, J; Matthys, N; Joosen, W; Hughes, D. "Tomography: lowering management overhead for distributed component-based applications". 2015.
    10.1145/2836127.2836128
  12. Ramachandran, GS; Daniels, W; Proença, J; Michiels, S; Joosen, W; Hughes, D; Porter, B. "Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks". 2015.
    10.1145/2737166.2737179
  13. Muschevici, R.; Clarke, D.; Proença, J.. "Executable modelling of dynamic software product lines in the ABS language". 2013.
    10.1145/2528265.2528266
  14. Proenca, J; Clarke, D. "Data Abstraction in Coordination Constraints". 2013.
    10.1007/978-3-642-45364-9_14
  15. Proenca, J; Clarke, D. "Interactive interaction constraints". 2013.
    10.1007/978-3-642-38493-6_15
  16. Proença, J.; Clarke, D.; De Vink, E.; Arbab, F.. "Dreams: A framework for distributed synchronous coordination". 2012.
    10.1145/2245276.2232017
  17. Patrignani, M.; Matthys, N.; Proenca, J.; Hughes, D.; Clarke, D.. "Formal analysis of policies in wireless sensor network applications". 2012.
    10.1109/sesena.2012.6225728
  18. Jongmans, SungShikT.Q.; Clarke, Dave; Proença, Jose. "A Procedure for Splitting Processes and its Application to Coordination". 2012.
    10.4204/EPTCS.91.6
  19. Clarke, D; Proenca, J. "Partial connector colouring". 2012.
    10.1007/978-3-642-30829-1_5
  20. Proença, J; Clarke, D; de Vink, EP; Arbab, F. "Decoupled execution of synchronous coordination models via behavioural automata". 2011.
    10.4204/EPTCS.58.5
  21. Clarke, D; Muschevici, R; Proenca, J; Schaefer, I; Schlatte, R. "Variability modelling in the ABS language". 2011.
    10.1007/978-3-642-25271-6_11
  22. Muschevici, R; Proenca, J; Clarke, D. "Modular modelling of software product lines with feature nets". 2011.
    10.1007/978-3-642-24690-6_22
  23. Muschevici, R; Clarke, D; Proença, J. "Feature Petri Nets". 2010.
  24. Clarke, D; Proença, J. "Towards a Theory of Views for Feature Models". 2010.
  25. Clarke, D; Proença, J. "Coordination via Interaction Constraints I: Local Logic". 2009.
    10.4204/EPTCS.12.2
  26. Cunha, A; Pinto, JS; Proenca, J. "A framework for point-free program transformation". 2006.
    10.1007/11964681_1
Artigo em revista
  1. José Proença; Dave Clarke. "Typed connector families and their semantics". Science of Computer Programming (2017): https://doi.org/10.1016%2Fj.scico.2017.03.002.
    10.1016/j.scico.2017.03.002
  2. Ramachandran, GS; Proenca, J; Daniels, W; Pickavet, M; Staessens, D; Huygens, C; Joosen, W; Hughes, D. "Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things". JOURNAL OF INTERNET SERVICES AND APPLICATIONS (2016):
    10.1186/s13174-016-0047-7
  3. Muschevici, R; Proenca, J; Clarke, D. "Feature Nets: behavioural modelling of software product lines". SOFTWARE AND SYSTEMS MODELING (2016):
    10.1007/s10270-015-0475-z
  4. Javier Cámara; José Proença. "Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems". EPTCS 175 (2015): http://dx.doi.org/10.4204/eptcs.175.0.
    10.4204/eptcs.175.0
  5. Jongmans, S.-S.T.Q.; Clarke, D.; Proença, J.. "A procedure for splitting data-aware processes and its application to coordination". Science of Computer Programming (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84896591257&partnerID=MN8TOARS.
    10.1016/j.scico.2014.02.017
  6. Sung-Shik T.Q. Jongmans; Dave Clarke; José Proença. "A Procedure for Splitting Processes and its Application to Coordination". EPTCS 91 (2012): 79-96. http://dx.doi.org/10.4204/eptcs.91.6.
    10.4204/eptcs.91.6
  7. Wong, P.Y.H.; Albert, E.; Muschevici, R.; Proença, J.; Schäfer, J.; Schlatte, R.. "The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems". International Journal on Software Tools for Technology Transfer 14 5 (2012): 567-588. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866277516&partnerID=MN8TOARS.
    10.1007/s10009-012-0250-1
  8. Dave Clarke; José Proença; Alexander Lazovik; Farhad Arbab. "Channel-based coordination via constraint satisfaction". Science of Computer Programming 76 8 (2011): 681-710. http://dx.doi.org/10.1016/j.scico.2010.05.004.
    10.1016/j.scico.2010.05.004
  9. José Proença; Dave Clarke; Erik de Vink; Farhad Arbab. "Decoupled execution of synchronous coordination models via behavioural automata". EPTCS 58 (2011): 65-79. http://dx.doi.org/10.4204/eptcs.58.5.
    10.4204/eptcs.58.5
  10. Clarke, D.; Proença, J.; Lazovik, A.; Arbab, F.. "Deconstructing R eo". Electronic Notes in Theoretical Computer Science 229 2 (2009): 43-58. http://www.scopus.com/inward/record.url?eid=2-s2.0-67649965353&partnerID=MN8TOARS.
    10.1016/j.entcs.2009.06.028
  11. Koehler, C; Costa, D; Proença, J; Arbab, F. "Reconfiguration of Reo Connectors Triggered by Dataflow". ECEASST (2008): https://www.authenticus.pt/P-00A-ADN.
  12. Proença, Jose; Clarke, Dave. "Coordination Models Orc and Reo Compared". Electr. Notes Theor. Comput. Sci. (2008): https://www.authenticus.pt/P-00A-ADP.
    10.1016/j.entcs.2008.03.099
Edição de livro
  1. PROENÇA, JOSÉ. Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019. 2019.
    10.4204/eptcs.310
  2. Proença, J; Lumpe, M. Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. 2017.
  3. Lafuente, AL; Proença, J. Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. 2016.
    10.1007/978-3-319-39519-7
  4. Proença, J; Tivoli, M. Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. 2015.
    10.4204/EPTCS.201
  5. Cámara, J; Proença, J. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. 2015.
    10.4204/eptcs.175
Tese / Dissertação
  1. PROENÇA, JOSÉ. "Synchronous Coordination of Distributed Components". Doutoramento, Universiteit Leiden, 2011. https://openaccess.leidenuniv.nl/handle/1887/17624.
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2018/01/11 - 2019/01/10 Web-based analysis of families of Reo connectors
Orientador
Universidade do Minho, Portugal
2014/11/01 - 2015/10/31 A reactive, extensible & modular Dashboard Factory for WSN monitoring
Orientador
Katholieke Universiteit Leuven, Bélgica
2013/11/01 - 2014/10/31 Encoding Scala with Logic
Coorientador
Katholieke Universiteit Leuven, Bélgica
2011/11/01 - 2012/10/31 Delta Modelling Evaluation using ABS Language
Orientador

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2019/10/07 - 2019/10/07 F-IDE 2019, 5th Workshop on Formal Integrated Development Environment, co-located with the Formal Methods 2019 conference, to be held in Porto, Portugal; co-chaired with Rosemary Monahan, from Maynooth University, and Virgile Prevosto from the University of Paris-Saclay; Edited proceedings will be available in Electronic Proceedings in Theoretical Computer Science (EPTCS). (2019/10/07 - 2019/10/07)
Oficina (workshop) (Coorganizador)
Universidade do Minho, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2017/10/10 - 2017/10/13 FACS 2017, General Chair and co-PC Chair, 14th International Conference on Formal Aspects of Component Software, held in Braga, Portugal; co-chaired with Markus Lumpe, from the Swinburne University of Technology, Australia; Edited proceedings available in Lecture Notes in Computer Science (LNCS), and a special issue organised for Science in Computer Programming (Elsevier Journal). (2017/10/10 - 2017/10/13)
Conferência (Coorganizador)
Universidade do Minho, Portugal
2016/06/06 - 2016/06/09 COORDINATION 2016, IFIP International Conference on Coordination Models and Languages (CORE A conference), part of the 3 DisCoTec conferences, held in Herak- lion, Greece; Co-chaired with Alberto Lluch Lafuente, from the Technical University of Denmark; Edited proceedings available in Lecture Notes in Computer Science (LNCS), and a special issue is being organised for Logical Methods in Computer Science (LMCS). (2016/06/06 - 2016/06/09)
Conferência (Coorganizador)
Universidade do Minho, Portugal

Katholieke Universiteit Leuven, Bélgica
2015/09/05 - 2015/09/05 FOCLASA 2015, International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, held in Madrid, Spain; co-chaired with Massimo Tivoli, from the University of L’Aquila, Italy; Edited proceedings available in Electronic Proceedings in Theoretical Computer Science (EPTCS). (2015/09/05 - 2015/09/05)
Oficina (workshop) (Coorganizador)
Katholieke Universiteit Leuven, Bélgica
2014/09/09 - 2014/09/09 FOCLASA 2014, International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, held in Rome, Italy; co-chaired with Javier C ´amara, from Carnegie Mellon University, USA; Edited proceedings available in Electronic Proceedings in Theoretical Computer Science (EPTCS). (2014/09/09 - 2014/09/09)
Oficina (workshop) (Coorganizador)
Katholieke Universiteit Leuven, Bélgica

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2019/01/29 Towards Deeply Reconfigurable, Long-life Internet of Things Platforms. This thesis introduces Plug-and-Play peripheral integrations into IETF class-1 devices, and extends this framework with flexible adoption of a range of low power networks.
Arguente
Fan Yang (Doutoramento)
Katholieke Universiteit Leuven, Bélgica
2015/09/01 Supporting the Internet of Things: IPv6 multicase in publish/subscribe middleware
Arguente
Sven Akkermans (Mestrado)
Katholieke Universiteit Leuven, Bélgica
2015/09/01 Reification of monads for parser combinators
Arguente
Vincent Goossens (Mestrado)
Katholieke Universiteit Leuven, Bélgica

Arbitragem científica em conferência

Nome da conferência Local da conferência
2020/01/01 - 2020/09/15 FOCLASA 2020 - 18th International Workshop On Foundations Of Coordination Languages and Self-adaptative Systems Amsterdam, The Netherlands, associated with SEFM 2020
2019/10/23 - 2019/10/25 FACS 2019 - 16th International Conference on Formal Aspects of Component Software CWI, Amsterdam, the Netherlands
2019/10/07 - 2019/10/07 F-IDE 2019 - 5th Workshop on Formal Integrated Development Environment INESC-TEC, Porto, Portugal & Univ. of Minho, Braga, Portugal, and Formal Methods Europe
2019/09/17 - 2019/09/17 FOCLASA 2019 - 17th International Workshop On Foundations Of Coordination Languages and Self-adaptative Systems Oslo, Norway, associated with SEFM 2019
2019/05/01 - 2019/05/03 FSEN 2019 - 8th IPM International Conference on Fundamentals of Software Engineering School of Computer Science, IPM, Tehran, Iran
2018/11/04 - 2018/11/04 REBLS 2018 - 5th Workshop on Reactive and Event-based Languages & Systems Bosto, USA, associated with SPLASH 2018
2018/10/10 - 2018/10/12 FACS 2018 - 15th International Conference on Formal Aspects of Component Software POSCH International Center, POSTECH, Pohang, Republica of Korea
2018/08/23 - 2018/08/24 ALGOSENSORS 2018 - 14th International Symposium on Algorithms and Experiments for Wireless Networks Helsinki, Finland, associated with ALGO 2018
2018/06/26 - 2018/06/26 FOCLASA 2018 - 16th International Workshop On Foundations Of Coordination Languages and Self-adaptative Systems Toulouse, France, associated with STAF/SEFM 2018
2017/04/26 - 2017/04/28 FSEN 2017 - 7th IPM International Conference on Fundamentals of Software Engineering School of Computer Science, IPM, Tehran, Iran
2015/04/22 - 2015/04/24 FSEN 2015 - 6th IPM International Conference on Fundamentals of Software Engineering IPM, School of Computer Science, Tehran, Iran
2014/09/10 - 2014/09/12 FACS 2014 - 11th International Conference on Formal Aspects of Component Software Bertinoro, Italy

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2019/09/01 - 2020/02/29 Programming and Algorithms for first year students Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019/09/01 - 2020/02/15 Cyber-Physical Computation (2019/20). This is a PhD level course under the MAPi program on formal analysis of cyber-physical systems, focusing on timed and hybrid (continuous/discrete) systems. I am responsible for a module of this course covering timed-automata, where I prepared slides available online on http://alfa.di.uminho.pt/ ~nevrenato/CPC.html. Informática (Doutoramento) Universidade do Minho, Portugal
2016/09/01 - 2019/02/28 Laboratory of Informatics for functional programming Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2016/09/01 - 2019/02/15 Functional programming. This is a programming introductory course for first year university students. Engenharia Informática Universidade do Minho, Portugal
2018/02/01 - 2018/07/31 Laboratory of Informatics for imperative programming Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2016/02/15 - 2018/07/31 Software Architecture and Design Calculi (2015-2018). This is a MSc level course on formal methods for always-running components, covering topics such as model checking, bisimulations, timed automata, and coordination models. I developed several artifacts, most available online on http://ac1516.proenca.org, http://ac1617.proenca.org, and http://arca.di.uminho.pt/ac-1718. Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2017/02/01 - 2017/07/31 Program Calculation - reasoning about programs with high order functions Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2012/09/01 - 2015/08/31 Different computer science undergraduate courses from KU Leuven university: Practical project with constrained devices (P&O, 13/14, 14/15); Software design in object-oriented languages (SWOP, 11/12, 12/13, 13/14); Comparative Programming Languages (CPL, 12/13); Operating Systems (BS, 12/13); Introduction to the object-oriented paradigm (OGO, 11/12). Computer Science courses (Bachelor) Katholieke Universiteit Leuven Departement Computerwetenschappen, Bélgica
Distinções

Prémio

2012 Individual Post-doctoral Fellowship (SFRH/BPD/91908, 2012
Fundação para a Ciência e a Tecnologia, Portugal
2005 Individual PhD Studentship (SFRH/BD/22485, 2005)
Fundação para a Ciência e a Tecnologia, Portugal
2005 Best graduated student in Computer Science at U.Minho
Universidade do Minho, Portugal
2005 Best student in Computer Science at U.Minho in 2002, 2003, 2004, and 2005: awarded 4 Scholarship Merits
Universidade do Minho, Portugal