???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Ana Gualdina Almeida Matos

Nomes de citação

  • Almeida Matos, Ana

Identificadores de autor

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

Domínios de atuação

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

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Francês Utilizador independente (B2) Utilizador proficiente (C2) Utilizador independente (B1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador proficiente (C2) Utilizador elementar (A1) Utilizador proficiente (C1)
Sueco Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2006
Concluído
 École Doctorale en Informatique temps réel, robotique et automatique (Doutoramento)
Mines ParisTech, França
"Typing secure information flow: declassification and mobility" (TESE/DISSERTAÇÃO)
 Mention très honorable avec felicitations (highest
2001
Concluído
 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" (TESE/DISSERTAÇÃO)
 17/20
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2006 - 2006 Investigador visitante (Investigação) Radboud Universiteit Institute for Computing and Information Sciences, Países Baixos
2002 - 2006 Investigador (Investigação) Inria Centre de Recherche Sophia Antipolis Méditerranée, França
Inria Centre de Recherche Sophia Antipolis Méditerranée, França
2001/02 - 2001/09 Estagiário de Investigação (Investigação) 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

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2006 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2000/09 - 2001/02 Monitor (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Projetos

Bolsa

Designação Financiadores
2013/04 - 2013/08 Language Based Web Securty
SFRH/BSAB/1338/2013
Bolseiro de Cientista Convidado
Inria Centre de Recherche Sophia Antipolis Méditerranée, França

Chalmers tekniska högskola, Suécia
Fundação para a Ciência e a Tecnologia
Concluído
2002 - 2006 Typing Secure Information Flow
SFRH/BD/7100/2001
Bolseiro de Doutoramento
Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2018 - 2022/08/31 Distributed Data-Centric Concurrency Control
PTDC/CCI-COM/32166/2017
Investigador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2016/07/01 - 2019/08/01 Elven - Lógicas para verificação de programas na Web
PTDC/EEI-CTP/3506/2014
Investigador
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
Concluído
2007/07/15 - 2010/09/15 KLog: Lógica para Segurança
PTDC/MAT/68723/2006
Investigador
Instituto de Telecomunicações, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2002/01/01 - 2005/04/30 Mikado - Mobile Calculi Based on Domains
IST-2001-32222
Outra
EU Framework Programme for Research and Innovation Future and Emerging Technologies
Concluído
2001/07/15 - 2002/01/14 DICOMO - Concorrência, Distribuição e Mobilidade
POSI/EEI/12059/2001
Bolseiro de Investigação
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Paulino, Hervé; Almeida Matos, Ana; Cederquist, Jan; Giunti, Marco; João Matos; Ravara, António. "AtomiS: Data-Centric Synchronization Made Practical". Trabalho apresentado em Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2023.
    Publicado
  2. Ferreira, Beatriz; Cederquist, Jan; Almeida Matos, Ana; Paulino, Hervé; Ravara, António. "Mechanization of a Type Systemfor Atomicity Analysis and its Type Safety". Trabalho apresentado em Inforum - Simpósio de Informática 2019, 2019.
    Publicado
  3. Marques, Fernando; Almeida Matos, Ana; Cederquist, Jan. "Integrating paper-based voting and Belenios – a hybrid voting protocol for an academicorganization". Trabalho apresentado em Inforum - Simpósio de Informática 2017, 2017.
    Publicado
  4. Paulino, Hervé; Parreira, Daniel; Delgado, Nuno; Ravara, António; Matos, Ana. "From atomic variables to data-centric concurrency control". Trabalho apresentado em 31st Annual ACM Symposium on Applied Computing, 2016.
    Publicado • 10.1145/2851613.2851734
  5. Matos, Ana Almeida; Cederquist, Jan. "Distributed Noninterference". Trabalho apresentado em 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014.
    Publicado • 10.1109/pdp.2014.45
  6. Matos, Ana Almeida; Santos, José Fragoso. "Typing illegal information flows as program effects". Trabalho apresentado em 7th Workshop on Programming Languages and Analysis for Security - PLAS '12, 2012.
    Publicado • 10.1145/2336717.2336718
  7. Almeida Matos, Ana; Boudol, Gérard; Castellani, Ilaria. "Typing noninterference for reactive programs". Trabalho apresentado em Workshop on Foundations of Computer Security, 2004.
    Publicado
Artigo em revista
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 10.1016/s1571-0661(05)80088-x
Capítulo de livro
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 10.1007/11590156_14
Relatório
  1. Almeida Matos, Ana; Cederquist, Jan. 2020. Information flow in a distributed security setting. https://arxiv.org/abs/1901.01111.
Resumo em conferência
  1. Miranda, David; Almeida Matos, Ana; Cederquist, Jan. Autor correspondente: Miranda, David. "Information Flow Security for a Concurrent Language with Lock-based Synchronization". Trabalho apresentado em Inforum - Simpósio de Informática 2023, Porto, 2023.
    Publicado
  2. Bruno Dias; Almeida Matos, Ana; Souto, Miguel. Autor correspondente: Bruno Dias. "Algorithm to aid the definition of Portugal's continental shelf delineation". Trabalho apresentado em Inforum - Simpósio de Informática 2023, Porto, 2023.
    Publicado
  3. Vasco Cabral; Almeida Matos, Ana; Paulo Borges; Borda-de-Água, Luís; Azevedo, Eduardo. Autor correspondente: Vasco Cabral. "Modeling the distribution of invasive species in small islands under future climates". Trabalho apresentado em Inforum - Simpósio de Informática 2023, 2023.
    Publicado
  4. Tiago Mamouros; Almeida Matos, Ana; Silvia di Salvatore; Rito Silva, António. Autor correspondente: Tiago Mamouros. "Platform for Collaborative Waste Management in an Academic Campus". Trabalho apresentado em Inforum - Simpósio de Informática 2023, 2023.
    Publicado
  5. Correia, Guilherme; Almeida Matos, Ana; Francisco Santos; Ana Subtil; M. Rosário Oliveira; João Alves; Patrícia Tiago. Autor correspondente: Correia, Guilherme. "The shape of collaboration in biodiversity monitoring". Trabalho apresentado em Inforum - Simpósio de Informática 2021, 2021.
    Publicado
  6. João Alves; Guilherme Correia; Ana Matos; Ana Subtil; Francisco Santos; M. Rosário Oliveira. Autor correspondente: João Alves. "Bias in Citizen Science: an application to the BioDiversity4All project". Trabalho apresentado em Inforum - Simpósio de Informática 2021, 2021.
    Publicado
Tese / Dissertação
  1. Almeida Matos, Ana. "Typing secure information flow: declassification and mobility". Doutoramento, Mines ParisTech, 2006.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2021/05 - Atual Mechanization of the Soundness Proofs for the AtomiS Model
Coorientador
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/03/31 - 2022 Visualization of Bias and Data Gaps in eBird
Coorientador
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/20 - 2021/10/30 Precise Information Flow Control for JavaScript
Coorientador de Francisco João Do Vale Lopes e Silva Quinaz
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/20 - 2021/10/28 The Shape of Collaboration Networks in Citizen Science Projects
Coorientador de Guilherme Crespo Rodrigues Antunes Correia
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/20 - 2021/10/17 Bias in Citizen Science: an application to the BioDiversity4All project
Coorientador de João Carlos Marques Alves
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09 - 2021 Ecological factors in sustainable wine production
Coorientador
 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
Coorientador de João de Araújo Correia Neto Lopes
 Mestrado em Engenharia de Telecomunicações e Informática (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/02 - 2019/11 A JavaScript Information Flow Monitor for Symbolic Testing
Coorientador de André Ribeiro
 Mestrado em Engenharia de Telecomunicações e Informática (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/02 - 2019/06 Resource-Centered Concurrency Control - Mechanization of a Type Safety proof
Coorientador de Beatriz Abecasis
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09 - 2017/11 E-Voting on Fenix
Coorientador de Fernando Marques
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2014 Enforcing Secure Information Flow in Client-side Web Applications
Coorientador de José Fragoso Santos
 Doctoral School STIC Sciences et Technologies de l’Information de la Communication (Doutoramento)
Université de Nice Sophia Antipolis, França

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
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)
Outro (Coorganizador)
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)
Outro
2008 - 2009/09 Co-organização do 4th International Federated Conferences on Distributed Computing Techniques (DisCoTec) (2009/09 - 2009/09)
Simpósio (Membro da Comissão Organizadora)
2006/05 - 2006/10 Coalgebra Day 2006 workshop (2006/10 - 2006/10)
Oficina (workshop) (Coorganizador)
 Radboud Universiteit Institute for Computing and Information Sciences, Países Baixos

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2016 Detection of Vulnerabilities and Automatic Protection for Web Applications
Vogal
 Ibéria Medeiros (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 A formal approach to long running transactions Cátia Vaz (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022 - Atual Desenho de Algoritmos Usando Python Minor em Informática (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - Atual 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 - Atual 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

Membro de comissão

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

Prémio

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