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
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 |
|
Conference abstract |
|
Conference paper |
|
Journal article |
|
Report |
|
Thesis / Dissertation |
|
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
|