???global.info.a_carregar???
Ana Gualdina Almeida Matos. Nascida em 1978 no Porto, Portugal. Licenciatura em Ciência de Computadores (2001, Universidade do Porto), Doutoramento em Segurança de Fluxos de Informação (2006, INRIA/École Nationale Supérieure des Mines de Paris). Professora Auxiliar no Departamento de Engenharia Informática no Instituto Superior Técnico, Universidade de Lisboa, e investigadora integrada no Instituto de Telecomunicações (desde 2006). Investigação e orientação de estudantes em Ciências da Computação, incluindo Linguagens de Programação, Segurança de Informação, Modelação Computacional e Aplicação às Ciências Naturais.
Read full resume ↓
Identification

Personal identification

Full name
Ana Gualdina Almeida Matos

Citation names

  • Almeida Matos, Ana

Author identifiers

Ciência ID
FD11-078C-8A68
ORCID iD
0000-0001-5252-0399

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
French Upper intermediate (B2) Proficiency (C2) Intermediate (B1) Advanced (C1)
Spanish; Castilian Intermediate (B1) Proficiency (C2) Beginner (A1) Advanced (C1)
Swedish Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2006
Concluded
 École Doctorale en Informatique temps réel, robotique et automatique (Doutoramento)
Mines ParisTech, France
"Typing secure information flow: declassification and mobility" (THESIS/DISSERTATION)
 Mention très honorable avec felicitations (highest
2001
Concluded
 Licenciatura em Ciência de Computadores (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"The development of the notion of Type: from the Foundations of mathematics to Programming languages" (THESIS/DISSERTATION)
 17/20
Affiliation

Science

Category
Host institution 		Employer
2006 - 2006 Visiting Researcher (Research) Radboud Universiteit Institute for Computing and Information Sciences, Netherlands
2002 - 2006 Researcher (Research) Inria Centre de Recherche Sophia Antipolis Méditerranée, France
Inria Centre de Recherche Sophia Antipolis Méditerranée, France
2001/02 - 2001/09 Research Trainee (Research) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2006 - Current Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2000/09 - 2001/02 Tutor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Projects

Grant

Designation Funders
2013/04 - 2013/08 Language Based Web Securty
SFRH/BSAB/1338/2013
Invited Scientist Fellow
Inria Centre de Recherche Sophia Antipolis Méditerranée, France

Chalmers tekniska högskola, Sweden
Fundação para a Ciência e a Tecnologia
Concluded
2002 - 2006 Typing Secure Information Flow
SFRH/BD/7100/2001
PhD Student Fellow
Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2018 - 2022/08/31 Distributed Data-Centric Concurrency Control
PTDC/CCI-COM/32166/2017
Researcher
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2016/07/01 - 2019/08/01 Elven - Lógicas para verificação de programas na Web
PTDC/EEI-CTP/3506/2014
Researcher
Instituto de Telecomunicações, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal
Fundação para a Ciência e a Tecnologia

Horizon 2020 European Innovation Council Fast Track to Innovation
Concluded
2007/07/15 - 2010/09/15 KLog: Lógica para Segurança
PTDC/MAT/68723/2006
Researcher
Instituto de Telecomunicações, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2002/01/01 - 2005/04/30 Mikado - Mobile Calculi Based on Domains
IST-2001-32222
Other
EU Framework Programme for Research and Innovation Future and Emerging Technologies
Concluded
2001/07/15 - 2002/01/14 DICOMO - Concorrência, Distribuição e Mobilidade
POSI/EEI/12059/2001
Research Fellow
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book chapter
  1. Fragoso Santos, José; Rezk, Tamara; Matos, Ana Almeida. "Modular Monitor Extensions for Information Flow Security in JavaScript". In Lecture Notes in Computer Science, 47-62. Springer International Publishing, 2015.
    Published • 10.1007/978-3-319-28766-9_4
  2. Almeida-Matos, Ana; Fragoso Santos, José; Rezk, Tamara. "An Information Flow Monitor for a Core of DOM". In Lecture Notes in Computer Science, 1-16. Springer Berlin Heidelberg, 2014.
    Published • 10.1007/978-3-662-45917-1_1
  3. Almeida Matos, Ana; Cederquist, Jan. "Informative Types and Effects for Hybrid Migration Control". In Lecture Notes in Computer Science, 21-39. Springer Berlin Heidelberg, 2013.
    Published • 10.1007/978-3-642-40787-1_2
  4. Almeida Matos, Ana. "Flow Policy Awareness for Distributed Mobile Code". In Lecture Notes in Computer Science, 53-68. Springer Berlin Heidelberg, 2009.
    Published • 10.1007/978-3-642-04081-8_5
  5. Matos, Ana Almeida. "Non-disclosure for Distributed Mobile Code". In FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 177-188. Springer Berlin Heidelberg, 2005.
    Published • 10.1007/11590156_14
Conference abstract
  1. Miranda, David; Almeida Matos, Ana; Cederquist, Jan. Corresponding author: Miranda, David. "Information Flow Security for a Concurrent Language with Lock-based Synchronization". Paper presented in Inforum - Simpósio de Informática 2023, Porto, 2023.
    Published
  2. Bruno Dias; Almeida Matos, Ana; Souto, Miguel. Corresponding author: Bruno Dias. "Algorithm to aid the definition of Portugal's continental shelf delineation". Paper presented in Inforum - Simpósio de Informática 2023, Porto, 2023.
    Published
  3. Vasco Cabral; Almeida Matos, Ana; Paulo Borges; Borda-de-Água, Luís; Azevedo, Eduardo. Corresponding author: Vasco Cabral. "Modeling the distribution of invasive species in small islands under future climates". Paper presented in Inforum - Simpósio de Informática 2023, 2023.
    Published
  4. Tiago Mamouros; Almeida Matos, Ana; Silvia di Salvatore; Rito Silva, António. Corresponding author: Tiago Mamouros. "Platform for Collaborative Waste Management in an Academic Campus". Paper presented in Inforum - Simpósio de Informática 2023, 2023.
    Published
  5. Correia, Guilherme; Almeida Matos, Ana; Francisco Santos; Ana Subtil; M. Rosário Oliveira; João Alves; Patrícia Tiago. Corresponding author: Correia, Guilherme. "The shape of collaboration in biodiversity monitoring". Paper presented in Inforum - Simpósio de Informática 2021, 2021.
    Published
  6. João Alves; Guilherme Correia; Ana Matos; Ana Subtil; Francisco Santos; M. Rosário Oliveira. Corresponding author: João Alves. "Bias in Citizen Science: an application to the BioDiversity4All project". Paper presented in Inforum - Simpósio de Informática 2021, 2021.
    Published
Conference paper
  1. Paulino, Hervé; Almeida Matos, Ana; Cederquist, Jan; Giunti, Marco; João Matos; Ravara, António. "AtomiS: Data-Centric Synchronization Made Practical". Paper presented in Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2023.
    Published
  2. Ferreira, Beatriz; Cederquist, Jan; Almeida Matos, Ana; Paulino, Hervé; Ravara, António. "Mechanization of a Type Systemfor Atomicity Analysis and its Type Safety". Paper presented in Inforum - Simpósio de Informática 2019, 2019.
    Published
  3. Marques, Fernando; Almeida Matos, Ana; Cederquist, Jan. "Integrating paper-based voting and Belenios – a hybrid voting protocol for an academicorganization". Paper presented in Inforum - Simpósio de Informática 2017, 2017.
    Published
  4. Paulino, Hervé; Parreira, Daniel; Delgado, Nuno; Ravara, António; Matos, Ana. "From atomic variables to data-centric concurrency control". Paper presented in 31st Annual ACM Symposium on Applied Computing, 2016.
    Published • 10.1145/2851613.2851734
  5. Matos, Ana Almeida; Cederquist, Jan. "Distributed Noninterference". Paper presented in 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014.
    Published • 10.1109/pdp.2014.45
  6. Matos, Ana Almeida; Santos, José Fragoso. "Typing illegal information flows as program effects". Paper presented in 7th Workshop on Programming Languages and Analysis for Security - PLAS '12, 2012.
    Published • 10.1145/2336717.2336718
  7. Almeida Matos, Ana; Boudol, Gérard; Castellani, Ilaria. "Typing noninterference for reactive programs". Paper presented in Workshop on Foundations of Computer Security, 2004.
    Published
Journal article
  1. Luo, Z.; Santos, J.F.; Matos, A.A.; Rezk, T.. "Mashic compiler: Mashup sandboxing based on inter-frame communication". Journal of Computer Security 24 1 (2016): 91-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-84960408868&partnerID=MN8TOARS.
    10.3233/JCS-160542
  2. Almeida Matos, Ana. "Non-disclosure for distributed mobile code". Mathematical Structures in Computer Science 21 6 (2011): 1111-1181. http://dx.doi.org/10.1017/s096012951100017x.
    Published • 10.1017/s096012951100017x
  3. Almeida Matos, Ana; Boudol, Gérard. "On declassification and the non-disclosure policy". Journal of Computer Security 17 5 (2009): 549-597. http://dx.doi.org/10.3233/jcs-2009-0355.
    Published • 10.3233/jcs-2009-0355
  4. Almeida Matos, A.; Boudol, G.. "On declassification and the non-disclosure policy". Journal of Computer Security 17 5 (2009): 549-597. http://www.scopus.com/inward/record.url?eid=2-s2.0-70449404986&partnerID=MN8TOARS.
    10.3233/JCS-2009-0355
  5. Almeida Matos, Ana; Boudol, Gérard; Castellani, Ilaria. "Typing noninterference for reactive programs". The Journal of Logic and Algebraic Programming 72 2 (2007): 124-156. http://dx.doi.org/10.1016/j.jlap.2007.02.009.
    Published • 10.1016/j.jlap.2007.02.009
  6. Matos, A.A.; Boudol, G.. "On declassification and the non-disclosure policy". Proceedings of the Computer Security Foundations Workshop (2005): 226-240. http://www.scopus.com/inward/record.url?eid=2-s2.0-28144441375&partnerID=MN8TOARS.
    10.1109/CSFW.2005.21
  7. Ravara, António; Matos, Ana G.; Vasconcelos, Vasco T.; Lopes, Luís.. "Lexically scoped distribution: what you see is what you get". Electronic Notes in Theoretical Computer Science 85 1 (2003): 61-79. http://dx.doi.org/10.1016/s1571-0661(05)80088-x.
    Published • 10.1016/s1571-0661(05)80088-x
Report
  1. Almeida Matos, Ana; Cederquist, Jan. 2020. Information flow in a distributed security setting. https://arxiv.org/abs/1901.01111.
Thesis / Dissertation
  1. Almeida Matos, Ana. "Typing secure information flow: declassification and mobility". PhD, Mines ParisTech, 2006.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2021/05 - Current Mechanization of the Soundness Proofs for the AtomiS Model
Co-supervisor
 Mestrado em Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/03/31 - 2022 Visualization of Bias and Data Gaps in eBird
Co-supervisor
 Mestrado em Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/20 - 2021/10/30 Precise Information Flow Control for JavaScript
Co-supervisor of Francisco João Do Vale Lopes e Silva Quinaz
 Mestrado em Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/20 - 2021/10/28 The Shape of Collaboration Networks in Citizen Science Projects
Co-supervisor of Guilherme Crespo Rodrigues Antunes Correia
 Mestrado em Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/20 - 2021/10/17 Bias in Citizen Science: an application to the BioDiversity4All project
Co-supervisor of João Carlos Marques Alves
 Mestrado em Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09 - 2021 Ecological factors in sustainable wine production
Co-supervisor
 Mestrado em Engenharia Informática e de Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/02/20 - 2020/11/20 Static Analysis of information flow for Python / Case study: Verification of the back-end of an e-voting system
Co-supervisor of João de Araújo Correia Neto Lopes
 Mestrado em Engenharia de Telecomunicações e Informática (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/02 - 2019/11 A JavaScript Information Flow Monitor for Symbolic Testing
Co-supervisor of André Ribeiro
 Mestrado em Engenharia de Telecomunicações e Informática (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/02 - 2019/06 Resource-Centered Concurrency Control - Mechanization of a Type Safety proof
Co-supervisor of Beatriz Abecasis
 Mestrado em Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09 - 2017/11 E-Voting on Fenix
Co-supervisor of Fernando Marques
 Mestrado em Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2014 Enforcing Secure Information Flow in Client-side Web Applications
Co-supervisor of José Fragoso Santos
 Doctoral School STIC Sciences et Technologies de l’Information de la Communication (PhD)
Université de Nice Sophia Antipolis, France

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2020 - 2021/09/09 Co-organização da Sessão Computing for Sustainability (CfS) do INForum - Simpósio de Informática 2021 (2021/09/09 - 2021/09/10)
Other (Co-organisor)
2018 - 2019/09 Co-organização da Sessão Computing for Sustainability (CfS) do INForum - Simpósio de Informática 2019 (2019/09 - 2019/09)
Other
2008 - 2009/09 Co-organização do 4th International Federated Conferences on Distributed Computing Techniques (DisCoTec) (2009/09 - 2009/09)
Symposium (Member of the Organising Committee)
2006/05 - 2006/10 Coalgebra Day 2006 workshop (2006/10 - 2006/10)
Workshop (Co-organisor)
 Radboud Universiteit Institute for Computing and Information Sciences, Netherlands

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2016 Detection of Vulnerabilities and Automatic Protection for Web Applications
Thesis Member
 Ibéria Medeiros (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 A formal approach to long running transactions Cátia Vaz (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Committee member

Activity description
Role 		Institution / Organization
2019 - 2019 Comissão Científica da 3rd International Conference in Engineering Applications
Member
2014 - 2014 Comissão de Programa do International Workshop on Automated Specification and Verification of Web Systems (WWV)
Member
2013 - 2013/06 Comissão de Programa do ACM SIGPLAN Eighth Workshop on Programming Languages and Analysis for Security (PLAS)
Member
2013 - 2013 Comissão de Programa do Young Researchers Workshop on Concurrency Theory (YR-CONCUR)
Member
2011 - 2011 Comissão de Programa do Real Time and Embedded System Track of Information Forum Symposium (INForum) in 2011;
Member
2010 - 2010 Comissão de Programa do Software Verification and Testing Track of the ACM Symposium on Applied Computing (SAC SVT)
Member
2009 - 2009 Comissão de Programa do Software Verification and Testing Track of the ACM Symposium on Applied Computing (SAC SVT)
Member

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2022 - Current Desenho de Algoritmos Usando Python Minor em Informática (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - Current Portfólio em Inovação Interdisciplinar Diploma de Estudos Avançados em Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - Current Segurança em Software Mestrado Bolonha em Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2021 Fundamentos da Programação Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2021 Introdução aos Algoritmos e Estrutura de Dados Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2017 Análise e Síntese de Algoritmos Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - 2012 Segurança em Linguagens de Programação Mestrado Bolonha em Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinctions

Award

2001 Engenheiro António de Almeida
Fundação Engenheiro António de Almeida, Portugal