???global.info.a_carregar???
Hugo José Pereira Pacheco. Concluiu o(a) Doutoramento em MAPi Doctoral Programme in Computer Science em 2012/09/17 pelo(a) Universidade do Minho Escola de Engenharia e Licenciatura em Engenharia de Sistemas e Informática - Especialidade em Sistemas e Tecnologias de Informação em 2007/10/19 pelo(a) Universidade do Minho Escola de Engenharia. É Professor Auxiliar Convidado no(a) Universidade do Minho. Publicou 7 artigos em revistas especializadas. Possui 7 livro(s). Organizou 4 evento(s). Participou em 16 evento(s). Coorientou 1 dissertação(ões) de mestrado. Recebeu 2 prémio(s) e/ou homenagens. Participa e/ou participou como Bolseiro de Pós-Doutoramento em 3 projeto(s) e Investigador em 6 projeto(s). Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação com ênfase em Ciências da Computação. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: secure computation; cryptography; programming languages; formal verification; bidirectional transformations ; software engineering ; Computer Science and Engineering - Computer Science; Electrical and Computer Engineering - Computer Systems (Hardware/Software); formal methods; .
Read full resume ↓
Identification

Personal identification

Full name
Hugo José Pereira Pacheco

Citation names

  • Pacheco, Hugo

Author identifiers

Ciência ID
8912-1B93-9F62
ORCID iD
0000-0003-0720-7744

Email addresses

  • hugo.p.pacheco@inesctec.pt (Professional)
  • hugo.p.pacheco@inesctec.pt (Professional)

Telephones

Mobile phone
  • 931169956 (Personal)
Telephone
  • 253604471 (Professional)

Addresses

  • INESC TEC Campus da FEUP, Rua Dr. Roberto Frias, 4200 - 465, Porto, Porto, Portugal (Professional)
  • Rua Francisco José Machado, n 4, 2CT, Gualtar, 4710-006, Braga, Braga, Portugal (Personal)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Spanish; Castilian Intermediate (B1) Beginner (A1) Beginner (A1) Intermediate (B1)
Education
Degree Classification
2012/09/17
Concluded
 MAPi Doctoral Programme in Computer Science (Doutoramento)
Universidade do Minho Escola de Engenharia, Portugal
"Bidirectional Data Transformation by Calculation" (THESIS/DISSERTATION)
 Excelente
2007/10/19
Concluded
 Engenharia de Sistemas e Informática - Especialidade em Sistemas e Tecnologias de Informação (Licenciatura)
Universidade do Minho Escola de Engenharia, Portugal
"n/a" (THESIS/DISSERTATION)
 14
2005 - 2006
Concluded
 Socrates-Erasmus Programme (Outros)
Major in Computer Graphics, Modelling and Animation
University of Bristol Department of Computer Science, United Kingdom
Affiliation

Science

Category
Host institution 		Employer
2017/04/01 - 2020/03/31 Postdoc (Research) Fundação para a Ciência e a Tecnologia, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2015/06/01 - 2017/03/31 Postdoc (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2014/02/01 - 2015/05/31 Postdoc (Research) Cornell University, United States
2013/04/01 - 2014/01/31 Postdoc (Research) Kokuritsu Johogaku Kenkyujo, Japan
2008/04/01 - 2012/10/09 Researcher (Research) Universidade do Minho, Portugal
2007/09/01 - 2008/01/01 Researcher (Research) Universität Koblenz-Landau, Germany
2007/03/01 - 2007/07/30 Research Trainee (Research) Universidade do Minho, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2020/05/01 - Current Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2020/04/30 Invited Assistant Professor (University Teacher) Universidade do Minho, Portugal
Universidade do Minho, Portugal
2009 - 2011 Tutor (University Teacher) Universidade do Minho, Portugal
Universidade do Minho, Portugal
Projects

Grant

Designation Funders
2017/04/01 - 2020/03/31 Formal verification of Secure Multi-party Programs
FCT SFRH/BPD/121389/2016
Post-doc Fellow
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2014/02/01 - 2015/06 CAREER: Principles and Practice of Distributed Updates
info:eu-repo/grantAgreement/NSF/Directorate for Computer & Information Science & Engineering/1253165/US
Post-doc Fellow
Cornell University, United States
 National Science Foundation
Concluded

Contract

Designation Funders
2018/07 - Current VORTEX - Cyber Physical Systems and Cyber Security
FCT CoLAB
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Ongoing
2016/11 - 2019/12 Lightweight Computation for Networks at the Edge
info:eu-repo/grantAgreement/EC/H2020/732505/EU
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 National Science Foundation
Concluded
2016/05 - 2018/12 Tec4Growth - RL SMILES - Smart, Mobile, Intelligent, large scale sensing and analytics
NORTE-01-0145-FEDER-000020
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia

European Regional Development Fund
Concluded
2017/01/01 - 2018/01 Demonstration of INTElligent grid technologies for renewables INTEgration and INTEractive consumer participation enabling INTEroperable market solutions and INTErconnected stakeholders
info:eu-repo/grantAgreement/EC/H2020/731218/EU
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Ongoing
2015/09/01 - 2017/12 Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable LOW Voltage and medium voltage distribution grid
info:eu-repo/grantAgreement/EC/H2020/646531/EU
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Concluded
2015/07/01 - 2016/10 PRACTICE: Privacy-Preserving Computation in the Cloud
info:eu-repo/grantAgreement/EC/FP7/609611/EU
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Concluded
2012/03/01 - 2014/08 FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
info:eu-repo/grantAgreement/FCT/COMPETE/120838/PT
Researcher
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2013/04 - 2014/01 BiG: A Grand Challenge Project on Bidirectional Graph (Model) Transformation
Grand-Challenging Project Program of National Institute of Informatics
Post-doc Fellow
Kokuritsu Johogaku Kenkyujo, Japan
 National Institute of Informatics Center for Global Research in Advanced Software Science and Engineering (GRACE Center)
Concluded
2006/01/15 - 2007/01 PURe - Program Understanding and Re-engineering: Calculi and Applications
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/44304/PT
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Other

Designation Funders
2020/07 - 2021/12 Sub-contracting Project for the Stanford Research Institute
DARPA-BAA-HR001119S0076
Researcher
SRI International, United States
 Defense Advanced Research Projects Agency
Concluded
Outputs

Publications

Book
  1. Fischer, S.; Hu, Z.; Pacheco, H.. A clear picture of lens laws functional pearl. 2015.
    10.1007/978-3-319-19797-5_10
  2. Hu, Z.; Pacheco, H.; Fischer, S.. Validity checking of putback transformations in bidirectional programming. 2014.
    10.1007/978-3-319-06410-9_1
  3. Pacheco, H.; Cunha, A.. Multifocal: A strategic bidirectional transformation language for XML schemas. 2012.
    10.1007/978-3-642-30476-7_6
  4. Cunha, J.; Fernandes, J.P.; Mendes, J.; Pacheco, H.; Saraiva, J.. Bidirectional transformation of model-driven spreadsheets. 2012.
    10.1007/978-3-642-30476-7_7
  5. Macedo, N.; Pacheco, H.; Cunha, A.. Relations as executable specifications: Taming partiality and non-determinism using invariants. 2012.
    10.1007/978-3-642-33314-9_10
  6. Pacheco, H.; Cunha, A.. Generic point-free lenses. 2010.
    10.1007/978-3-642-13321-3_19
  7. Berdaguer, P.; Cunha, A.; Pacheco, H.; Visser, J.. Coupled schema transformation and data conversion for XML and SQL. 2007.
    10.1007/978-3-540-69611-7-19
Conference paper
  1. Portela, Bernardo; Pacheco, Hugo; Jorge, Pedro; Pontes, Rogério. "General-Purpose Secure Conflict-free Replicated Data Types". 2023.
    10.1109/csf57540.2023.00030
  2. "Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head". 2021.
    10.1145/3460120.3484771
  3. "ROSY: An elegant language to teach the pure reactive nature of robot programming". 2020.
    10.1109/irc.2020.00045
  4. Almeida, J.B.; Barbosa, M.; Barthe, G.; Pacheco, H.; Pereira, V.; Portela, B.. "Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks". 2018.
    10.1109/CSF.2018.00017
  5. Almeida, J.B.; Barbosa, M.; Barthe, G.; Blot, A.; Grégoire, B.; Laporte, V.; Oliveira, T.; et al. "Jasmin: High-assurance and high-speed cryptography". 2017.
    10.1145/3133956.3134078
  6. Alonso, A.; Couto, R.; Pacheco, H.; Bessa, R.; Gouveia, C.; Seca, L.; Moreira, J.; et al. "Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo". 2017.
    10.1049/oap-cired.2017.1181
  7. Pacheco, H.; Zan, T.; Hu, Z.. "BiFluX: A bidirectional functional update language for XML". 2014.
    10.1145/2643135.2643141
  8. Macedo, N.; Pacheco, H.; Sousa, N.R.; Cunha, A.. "Bidirectional spreadsheet formulas". 2014.
    10.1109/VLHCC.2014.6883041
  9. Macedo, N.; Cunha, A.; Pacheco, H.. "Towards a framework for multidirectional model transformations". 2014.
  10. Zan, T.; Pacheco, H.; Hu, Z.. "Writing bidirectional model transformations as intentional updates". 2014.
    10.1145/2591062.2591102
  11. Pacheco, H.; Hu, Z.; Fischer, S.. "Monadic combinators for "Putback" style bidirectional programming". 2014.
    10.1145/2543728.2543737
  12. Pacheco, H.; Cunha, A.. "Calculating with lenses: Optimising bidirectional transformations". 2011.
    10.1145/1929501.1929520
  13. Cunha, A.; Pacheco, H.. "Mapping between alloy specifications and database implementations". 2009.
    10.1109/SEFM.2009.27
  14. Flávio Ferreira; Pacheco, Hugo. "XPTO - An Xpath Preprocessor with Type-Aware Optimization". Paper presented in 2007 Conference on Compilers, Related Technologies and Applications (CORTA 2007), Covilhã, 2007.
Journal article
  1. Bacelar Almeida, José; Barbosa, Manuel; Barthe, Gilles; Grégoire, Benjamin; Laporte, Vincent; Léchenet, Jean-Christophe; Oliveira, Tiago; et al. "Formally verifying Kyber". IACR Transactions on Cryptographic Hardware and Embedded Systems (2023): 164-193. http://dx.doi.org/10.46586/tches.v2023.i3.164-193.
    10.46586/tches.v2023.i3.164-193
  2. José Carlos Bacelar Almeida; Manuel Barbosa; Gilles Barthe; Hugo Pacheco; Vitor Pereira; Bernardo Portela. "A formal treatment of the role of verified compilers in secure computation". Journal of Logical and Algebraic Methods in Programming 125 (2022): 100736-100736. https://doi.org/10.1016/j.jlamp.2021.100736.
    10.1016/j.jlamp.2021.100736
  3. Pacheco, Hugo; Nuno Macedo. "ROSY: An elegant language to teach the pure reactive nature of robot programming". International Journal of Robotic Computing (2021):
    Submitted
  4. Almeida, José Bacelar; Cunha, Alcino; Macedo, Nuno; Pacheco, Hugo; Proença, José. "Teaching how to program using automated assessment and functional glossy games (experience report)". Proceedings of the ACM on Programming Languages 2 ICFP (2018): 1-17. http://dx.doi.org/10.1145/3236777.
    10.1145/3236777
  5. Zan, T.; Pacheco, H.; Ko, H.-S.; Hu, Z.. "BiFluX: A bidirectional functional update language for XML". Computer Software 33 4 (2016): 93-115. http://www.scopus.com/inward/record.url?eid=2-s2.0-85009966175&partnerID=MN8TOARS.
  6. Fischer, S.; Hu, Z.; Pacheco, H.. "The essence of bidirectional programming". Science China Information Sciences (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84927534314&partnerID=MN8TOARS.
    10.1007/s11432-015-5316-8
  7. Macedo, N.; Pacheco, H.; Cunha, A.; Oliveira, J.N.. "Composing least-change lenses". Electronic Communications of the EASST 57 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-85028939553&partnerID=MN8TOARS.
    10.14279/tuj.eceasst.57.868.862
  8. Pacheco, H.; Cunha, A.; Hu, Z.. "Delta lenses over inductive types". Electronic Communications of the EASST 49 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-85009939203&partnerID=MN8TOARS.
    10.14279/tuj.eceasst.49.713.719
  9. Cunha, A.; Pacheco, H.. "Algebraic specialization of generic functions for recursive types". Electronic Notes in Theoretical Computer Science 229 5 (2011): 57-74. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952436818&partnerID=MN8TOARS.
    10.1016/j.entcs.2011.02.016
Journal issue
  1. Pacheco, Hugo. "Special Issue on Secure Multiparty Computation". Cryptography (2021):
    In press
Magazine article
  1. José Bacelar Almeida; Manuel Barbosa; Pacheco, Hugo; Vitor Pereira. "A Tool-Chain for High-Assurance Cryptographic", ERCIM NEWS, 2016, http://ercim-news.ercim.eu/en106/special/a-tool-chain-for-high-assurance-cryptographic-software.
Report
  1. Pacheco, Hugo; Nuno Macedo. 2019. ROSY: An elegant language to teach the pure reactive nature of robot programming.
  2. José Bacelar Almeida; Manuel Barbosa; Gilles Barthe; Pacheco, Hugo; Vitor Pereira; Bernardo Portela. 2018. Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.
  3. Nuno Macedo; Pacheco, Hugo; Alcino Cunha; Janis Voigtländer. 2013. A Generic Scheme and Properties of Bidirectional Transformations.
Thesis / Dissertation
  1. Pacheco, Hugo. "Bidirectional Data Transformation by Calculation". PhD, Universidade do Minho, 2012.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2023/07 General-Purpose Secure Conflict-free Replicated Data Types. 36th IEEE Computer Security Foundations Symposium
2018 Teaching how to program using automated assessment and functional glossy games (experience report) 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Association for Computer Machinery (St. Louis, United States)
2018 Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks 31st IEEE Computer Security Foundations Symposium (CSF 2018)
Institute of Electrical and Electronics Engineers (Oxford, United Kingdom)
2014 BiFluX: A Bidirectional Functional Update Language for XML 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
Association for Computer Machinery (Kent, United Kingdom)
2013 BiFluX: A Bidirectional Functional Update Language for XML BIRS Workshop - BX Theory & Applications Across Disciplines
Banff International Research Station (Banff, Canada)
2012 Delta Lenses over Inductive Types 1st International Workshop on Bidirectional Transformations (Bx 2012)
(Tallinn, Estonia)
2012 Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas 5th International Conference on Model Transformation (ICMT 2012)
(Prague, Czech Republic)
2011 Calculating with lenses: optimising bidirectional transformations 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)
Association for Computer Machinery (Austin, United States)
2010 Generic Point-free Lenses 10th International Conference on Mathematics of Program Construction (MPC 2010)
(Québec, Canada)
2007/06 PDAs no Levantamento de Informação Demográfica VIII Congreso de la Asociación de Demografía Histórica
Asociación de Demografía Histórica (Menorca, Spain)
2007 XPTO - An Xpath Preprocessor with Type-Aware Optimization 2007 Conference on Compilers, Related Technologies and Applications (CORTA 2007)
Universidade da Beira Interior (Covilhã, Portugal)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2022 - 2023 Design and Implementation of Pure Operation-Based CRDTs
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 Security Testing of Web APIs
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2021 - 2022 Secure In-Vehicle Storage
Supervisor
 Mestrado em Engenharia de Redes e Sistemas Informáticos
Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2022 Secure Over-the-Air Vehicle Updates using Trusted Execution Environments
Supervisor
 Mestrado em Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Análise e Mecanismos de Prevenção de Web Scraping
Supervisor
 Mestrado em Segurança Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2018 Definição e conceção de uma plataforma de troca de dados para o setor energético
Co-supervisor
 Mestrado em Engenharia Informática (Master)
Universidade do Minho, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2021 - Current IRC 2021 : IEEE International Conference on Robotic Computing (2021)
Conference (Member of the Scientific Committee)
 IEEE, United States
2018 - Current 7th International Workshop on Bidirectional Transformations (Bx 2018) (2017)
Conference (Member of the Scientific Committee)
2017 - Current 6th International Workshop on Bidirectional Transformations (Bx 2017) (2017)
Conference (Member of the Scientific Committee)
2015 - Current 4th International Workshop on Bidirectional Transformations (Bx 2015) (2015)
Conference (Member of the Scientific Committee)
2006 - Current Interacção 2006 (II Nacional Conference in Human-Machine interaction) (2006)
Conference (Co-organisor)
 Universidade do Minho, Portugal

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2019 - Current Verão no Campus / Instructor
Workshop
 Verão no Campus
Universidade do Minho, Portugal
2018 - Current Teaching how to program using automated assessment and functional glossy games (experience report)
Conference
 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Association for Computer Machinery, United States
2018 - Current Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks
Conference
 31st IEEE Computer Security Foundations Symposium (CSF 2018)
IEEE, United States
2017 - Current Programa Melhores Alunos / Organizer
Workshop
 Programa Melhores Alunos
Universidade do Minho, Portugal
2014 - Current BiFluX: A Bidirectional Functional Update Language for XML
Conference
 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
Association for Computer Machinery, United States
2014 - Current Cornell Summer Camp / Trainer
Workshop
 Cornell Summer Camp
Cornell University, United States
2013/12 - Current BIRS Workshop - BX Theory & Applications Across Disciplines
Meeting
 BIRS Workshop - BX Theory & Applications Across Disciplines
Banff International Research Station, Canada
2012 - Current Delta Lenses over Inductive Types
Conference
 1st International Workshop on Bidirectional Transformations (Bx 2012)
2012 - Current Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas Bidirectional Transformation of Model-Driven Spreadsheets
Conference
 5th International Conference on Model Transformation (ICMT 2012)
2011 - Current Calculating with lenses: optimising bidirectional transformations
Conference
 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)
2010 - Current Generic Point-free Lenses
Conference
 10th International Conference on Mathematics of Program Construction (MPC 2010)
2010 - Current Spring School on Generic and Indexed Programming
Seminar
 Spring School on Generic and Indexed Programming
University of Oxford, United Kingdom
2009 - Current 3rd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2019)
Seminar
 3rd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2019)
2007 - Current PDAs no Levantamento de Informação Demográfica
Congress
 VIII Congreso de la Asociación de Demografía Histórica
Asociación de Demografía Histórica, Spain
2007 - Current XPTO - An Xpath Preprocessor with Type-Aware Optimization
Conference
 2007 Conference on Compilers, Related Technologies and Applications (CORTA 2007)
Universidade da Beira Interior, Portugal
2007 - Current 2nd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2007)
Seminar
 2nd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2007)

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2023 Automatic Specification Repair in Contract Programming
(Thesis) Main arguer
 Alexandre Abreu (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 Blockchain – NFTs for luxury objects authenticity
(Thesis) Main arguer
 André Loureiro Morais (Master)
Universidade do Minho, Portugal
2023 Geração de NFTs para Certificação de Documentos
(Thesis) Main arguer
 Tiago Araújo Alves (Master)
Universidade do Minho, Portugal
2023 Aplicação de Monitorização de rede baseada em Blockchain
(Thesis) Main arguer
 João Manuel Silva de Amorim (Master)
Universidade do Minho, Portugal
2023 SSI Technology in the context of eIDAS 2.0
President of the jury
 João Manuel Alexandrino de Castro Ribeiro (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2023 Automating vulnerability detection and exploitation on software
President of the jury
 Sérgio Filipe Vaz Rodrigues (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2023 Privacy Concerns in Android Systems
President of the jury
 Samuel Alberto Magalhães Fernandes (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2022 Security Analysis of NIST-LWC Contest Finalists
(Thesis) Main arguer
 João Fernandes (Master)
Universidade do Minho, Portugal
2022 You can hide but you can’t run: browser extensions fingerprinting
(Thesis) Main arguer
 Lucas Stein (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2021 Exploiting Service Workers for Javascript Code Protection
(Thesis) Main arguer
 João Henrique Poceiro Vieira de Araújo (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2021 Maria Pereira intitulado Análise e Mecanismos de Prevenção de Web Scraping
Supervisor
 Maria Pereira (Master)
Universidade do Porto Faculdade de Ciências, Portugal

Association member

Society Organization name Role
2007 - 2009 UMinho ACM Students Group Board Member
2005 - 2006 CeSIUM (Computer Science and Systems Engineering Students Group) Board Member

Conference scientific committee

Conference name Conference host
2019 - Current 39th Annual International Cryptology Conference (Crypto 2019) Sub-Reviewer
2018 - Current 7th International Workshop on Bidirectional Transformations (Bx 2018) PC Member
2017 - Current 6th International Workshop on Bidirectional Transformations (Bx 2017) PC Member
2015 - Current 4th International Workshop on Bidirectional Transformations (Bx 2015) PC Member
2015 - Current 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015) Sub-Reviewer
2015 - Current 24th European Symposium on Programming (ESOP 2015) Sub-Reviewer
2014 - Current 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014) Sub-Reviewer
2014 - Current 23rd European Symposium on Programming (ESOP 2014) Sub-Reviewer
2012 - Current 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012) Sub-Reviewer
2012 - Current 5th ACM SIGPLAN Symposium on Haskell (Haskell 2012) Sub-Reviewer
2012 - Current 24th International Symposium on Implementation and Application of Functional Languages (IFL 2012) Sub-Reviewer
2011 - Current 20th ACM SIGPLAN Workshop on Partial evaluation and Program Manipulation (PEPM 2011) Sub-Reviewer
2024 - 2024 ESOP/FASE/FoSSaCS 2024 Artifact evaluation Committee
2023 - 2023 IRC 2023: 7th IEEE International Conference on Robotic Computing
2023 - 2023 Haskell 2023: ACM SIGPLAN Haskell Symposium 2023
2023 - 2023 IFL 2023: 35th Symposium on Implementation and Application of Functional Languages
2022 - 2022 IRC 2022: Sixth IEEE International Conference on Robotic Computing
2021 - 2021 IRC 2021 : IEEE International Conference on Robotic Computing PC Member
2021 - 2021 SecITC 2021: 14th International Conference on Security for Information Technology and Communications
2020 - 2020 30th International Conference on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) Sub-Reviewer
2020 - 2020 12th Conference on Security and Cryptography for Networks Sub-Reviewer

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2022 - 2024 Matemática Discreta Licenciatura em Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2024 Fundamentos de Segurança Informática Licenciatura em Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2024 Segurança em Engenharia de Software Mestrado em Segurança Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2022 - 2024 Programação II (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2022 - 2024 Estruturas de Dados para Bioinformática Mestrado em Bioinformática e Biologia Computacional (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2022 Programação II Licenciatura em Engenharia Geoespacial (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2022 Fundamentos de Segurança Informática Mestrado em Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2021 - 2022 Segurança em Engenharia de Software Mestrado em Segurança Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Estruturas Discretas Licenciatura em Ciências da Computação (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Teoria e Prática de Ataques de Segurança Mestrado em Segurança Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Programação II Licenciatura em Engenharia Geoespacial (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Segurança em Engenharia de Software Mestrado em Segurança Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2020 Privacidade e Proteção de Dados Pessoais Mestrado em Direito e Informática (Mestrado) Universidade do Minho, Portugal
2019 - 2020 Laboratórios de Algoritmia II Licenciatura em Ciências da Computação (Licenciatura) Universidade do Minho, Portugal
2019 - 2020 Criptografia, Identificação Eletrónica e Documentos Mestrado em Direito e Informática (Mestrado) Universidade do Minho, Portugal
2019 - 2020 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2019 - 2020 Programação Funcional Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2018 - 2019 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2018 - 2019 Programação Imperativa Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2017 - 2018 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2017 - 2018 Programação Funcional Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2017 - 2018 Cálculo de Programas Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2016 - 2017 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática Universidade do Minho, Portugal
2016 - 2017 Programação Funcional Licenciatura em Ciências da Computação (Licenciatura) Universidade do Minho, Portugal
2016 - 2017 Programação Funcional Mestrado Integrado em Engenharia Física (Mestrado integrado) Universidade do Minho, Portugal
2016 - 2017 Cálculo de Programas Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2015 - 2016 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2010 - 2011 Laboratórios de Informática I Licenciatura em Engenharia Informática (Licenciatura) Universidade do Minho, Portugal
2009 - 2010 Laboratórios de Informática I Licenciatura em Engenharia Informática (Licenciatura) Universidade do Minho, Portugal

Journal scientific committee

Journal title (ISSN) Publisher
2020 - Current Journal of Computer Languages
2017 - Current Journal of Computer Security (1875-8924) IOS Press
2015 - Current The Computer Journal (1460-2067) Oxford University Press
2024 - 2024 IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES)
2023 - 2023 ACM Transactions on Programming Languages and Systems
2023 - 2023 IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES)
2022 - 2022 Journal of Computer Languages
2022 - 2022 Formal Methods in System Design

Mentoring / Tutoring

Topic Student name
2017 - Current Bolsa de Investigação - TEC4Growth SMILES Ana Sofia Teixeira
2016 - 2020 PhD, Universidade do Porto (FCUP) & INESC TEC Tiago Oliveira
2016 - 2020 PhD, Universidade do Porto (FCUP) & INESC TEC Vitor Pereira
2017 - 2018 Bolsa de Investigação - InteGrid Xavier Rodrigues
2014 - 2015 PhD, Cornell University Jonathan DiLorenzo
2013 - 2014 PhD, National Institute of Informatics Tao Zan
2010 - 2014 PhD, Universidade do Minho Nuno Macedo
Distinctions

Award

2020 Gerhard Kraetzschmar Award (IRC 2020)
IEEE, United States
2016 FCT postdoctoral grant SFRH/BPD/121389/2016
Fundação para a Ciência e a Tecnologia, Portugal
2011 SIGPLAN PAC Grant (PEPM 2011)
Association for Computer Machinery, United States