???global.info.a_carregar???
Sandra Maria Mendes Alves. Concluiu o(a) Doutoramento em Doutoramento em Ciência de Computadores em 2007 pelo(a) Universidade do Porto, Mestrado em Mestrado em Informática em 2001 pelo(a) Universidade do Porto e Licenciatura em Ciência de Computadores em 1999 pelo(a) Universidade do Porto. É Professor Auxiliar no(a) Universidade do Porto, Effective Member no(a) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Leitor no(a) Universidade do Porto Faculdade de Ciências e Professor Auxiliar no(a) Universidade do Porto. Publicou 15 artigos em revistas especializadas. Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação e Ciências Exatas com ênfase em Matemática. Nas suas atividades profissionais interagiu com 34 colaborador(es) em coautorias de trabalhos científicos.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Sandra Maria Mendes Alves

Nomes de citação

  • Alves, Sandra

Identificadores de autor

Ciência ID
AB1B-0968-7337
ORCID iD
0000-0001-8840-5587

Websites

Domínios de atuação

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

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador proficiente (C1)
Francês Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A1) Utilizador elementar (A2) Utilizador elementar (A2)
Formação
Grau Classificação
2007
Concluído
 Ciência de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Linearisation of the Lambda-calculus" (TESE/DISSERTAÇÃO)
1999 - 2001
Concluído
 Mestrado em Informática (Mestrado)
Universidade do Porto, Portugal
"Inferência de Tipos e Resolução de Restrições" (TESE/DISSERTAÇÃO)
 Muito bom
1994 - 1999
Concluído
 Ciência de Computadores (Licenciatura)
Universidade do Porto, Portugal
 15
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
1999/10/01 - 2015/03/01 Investigador (Investigação) 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
2007/07/10 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto, Portugal
2007 - 2013 Professor Auxiliar (Docente Universitário) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2001/09 - 2007/07 Assistente (Docente Universitário) Universidade do Porto, Portugal
2000/04/01 - 2001/09/01 Monitor (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2015/03/01 - Atual Effective Member Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Projetos

Bolsa

Designação Financiadores
2014/02/10 - 2014/08/09 GRAPH-BASED MODELLING LANGUAGES
SFRH/BSAB/1341/2013
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/09/01 - 2011/02/28 LINEARITY IN PROGRAMMING LANGUAGES AND COMPUTATIONAL MODELS
SFRH/BSAB/1024/2010
Universidade do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2001/10/01 - 2002/08/31 LINEARIZAÇÃO DE PROGRAMAS E INFERÊNCIA DE TIPOS
SFRH/BD/4622/2001
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2021/01/01 - 2025/12/31 INESC TEC - Institute for Systems and Computer Engineering, Technology and Science (INESC TEC)
LA/P/0063/2020
10.54499/LA/P/0063/2020
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2019/04/01 - 2022/03/31 Safe Cities - Inovação para Construir Cidades Seguras
POCI-01-0247-FEDER-041435
Investigador
2019/09/01 - 2021/08/31 Container Oriented Policing
POCI-01-0247-FEDER-039598
Investigador
2019/01/01 - 2019/12/31 INESC TEC - INESC Technology and Science
UID/EEA/50014/2019
Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2015/07/01 - 2019/06/30 Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact
NORTE-01-0145-FEDER-000020
Investigador
Concluído
2015/07/01 - 2019/06/30 NanoSTIMA – Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Investigador
2011/01/01 - 2013/12/31 Strategic Project - UI 27 - 2011-2012
PEst-OE/EEI/UI0027/2011
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/03/31 RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Investigador
Concluído
2008/01/01 - 2011/03/31 RESCUE, REliable and Safe Code execUtion for Embedded systems
PTDC/EIA/65862/2006
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade do Minho, Portugal

Universidade da Beira Interior, Portugal

Universidade do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Alves, S; Kesner, D; Ramos, M. "Quantitative Global Memory". 2023.
    10.1007/978-3-031-39784-4_4
  2. Alves, S; Kesner, D; Ramos, M. "Quantitative Global Memory". 2023.
  3. Reis, F; Alves, S; Florido, M. "Linear Rank Intersection Types". 2022.
    10.4230/lipics.types.2022.8
  4. Alves, S; Florido, M. "Structural Rules and Algebraic Properties of Intersection Types". 2022.
    10.1007/978-3-031-17715-6_6
  5. Alves, S; Ramos, M. "An ML-style Record Calculus with Extensible Records". 2021.
    10.4204/eptcs.351.1
  6. Alves, S; Fernandez, M; Ramos, M. "EVL: A Typed Higher-order Functional Language for Events". 2020.
    10.1016/j.entcs.2020.08.002
  7. Alves, S; Broda, S. "Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types". 2019.
    10.1016/j.entcs.2019.07.003
  8. Alves, S; Kesner, D; Ventura, D. "A Quantitative Understanding of Pattern Matching". 2019.
    10.4230/lipics.types.2019.3
  9. Alves, S; Broda, S. "A Unifying Framework for Type Inhabitation". 2018.
  10. Alves, Sandra; Broda, Sabine; Sandra Alves; Broda,Sabine. "Inhabitation machines: determinism and principality". 2017.
  11. Sandra Alves; Degtyarev,A; Fernandez,M. "Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics". 2015.
    http://dx.doi.org/10.1007/978-3-319-17822-6_9
  12. Sandra Alves; Broda,S; Fernandez,M; Alves, S.; Broda, S.; Fernández, M.. "A Typed Language for Events". 2015.
    http://dx.doi.org/10.1007/978-3-319-27436-2_7
  13. Pereira,M; Sandra Alves; Florido,M. "Liquid Intersection Types". 2015.
    http://dx.doi.org/10.4204/EPTCS.177.3
  14. Alves, S.; Fernandez, M.; Florido, M.; Mackie, I.. "Linearity and recursion in a typed Lambda-Calculus". 2011.
    10.1145/2003476.2003500
  15. Alves, S; Florido, M. "On the Relation between Rank 2 Intersection Types and Simple Types". 2002.
Artigo em revista
  1. Alves, S; Kiefer, S; Sokolova, A. "Report on women in logic 2020 & 2021". ACM SIGLOG News (2022):
  2. Sandra Alves; Renata Wassermann. "Preface to special issue: LSFA 2017 and 2018". Mathematical Structures in Computer Science (2021): https://doi.org/10.1017/S096012952100044X.
    10.1017/S096012952100044X
  3. Alves, S; Wasserman, R. "Preface". Electr. Notes Theor. Comput. Sci. (2018):
  4. Alves, S; Dundua, B; Florido, M; Kutsia, T. "Pattern-based calculi with finitary matching". LOGIC JOURNAL OF THE IGPL (2018):
    10.1093/jigpal/jzx059
  5. Alves, Sandra; Fernández, Maribel. "A graph-based framework for the analysis of access control policies". Theor. Comput. Sci. (2017):
    10.1016/j.tcs.2016.10.018
  6. ALVES, S.; CERVESATO, I.. "Preface to special issue: LINEARITY 2014". Mathematical Structures in Computer Science (2016): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-84994613995&partnerID=MN8TOARS.
    10.1017/S0960129516000359
  7. Alves, Sandra. "Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction". SIGLOG News (2016):
  8. Alves, Sandra; Broda, S.. "A short note on type-inhabitation: Formula-trees vs. game semantics". Information Processing Letters 115 11 (2015): 908-911.
    Publicado • 10.1016/j.ipl.2015.05.004
  9. Alves, Sandra; Fernández, Maribel. "A Framework for the Analysis of Access Control Policies with Emergency Management". Electronic Notes in Theoretical Computer Science 312 na (2015): 89-105.
    Publicado • 10.1016/j.entcs.2015.04.006
  10. Pereira, M; Alves, S; Florido, M. "Liquid Intersection Types". ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2015):
    10.4204/eptcs.177.3
  11. Alves, Sandra; Fernández, Maribel; Florido, M.; Mackie, I.. "Linearity: A Roadmap". Journal of Logic and Computation 24 3 (2012): 513-529.
    Publicado • 10.1093/logcom/exs020
  12. Alves, Sandra; Mackie, Ian. "Proceedings 2nd International Workshop on Linearity". Electronic Proceedings in Theoretical Computer Science 101 (2012): http://dx.doi.org/10.4204/EPTCS.101.0.
    10.4204/eptcs.101.0
  13. Alves, Sandra; Alves, S; Fernández, M; Mackie, I. "A new graphical calculus of proofs". (2011):
    10.4204/eptcs.48.8
  14. Alves, Sandra; Fernández, Maribel; Florido, M.; Mackie, I.. "Linearity and iterator types for Gödel’s System". Higher-Order and Symbolic Computation 23 1 (2010): 1-27.
    Publicado • 10.1007/s10990-010-9060-x
  15. Alves, Sandra; Fernández, Maribel; Florido, M.; Mackie, Ian. "Gödel’s system T revisited". Theoretical Computer Science 411 11-13 (2010): 1484-1500.
    Publicado • 10.1016/j.tcs.2009.11.014
  16. Alves, Sandra; Florido, M.; Mackie, Ian; Sinot, François-Régis. "Minimality in a Linear Calculus with Iteration". Electronic Notes in Theoretical Computer Science 204 na (2008): 163-179.
    Publicado • 10.1016/j.entcs.2008.03.060
  17. Alves, Sandra; Fernández, Maribel; Florido, M.; Mackie, Ian. "The Power of Closed Reduction Strategies". Electronic Notes in Theoretical Computer Science 174 10 (2007): 57-74.
    Publicado • 10.1016/j.entcs.2007.02.047
  18. Alves, S.; Fernández, M.; Florido, M.; Mackie, I.. "The power of closed reduction strategies". Electronic Notes in Theoretical Computer Science (2006): 20-33. http://www.scopus.com/inward/record.url?eid=2-s2.0-84890259664&partnerID=MN8TOARS.
  19. Alves, Sandra; Florido, M.. "Weak linearization of the lambda calculus". Theoretical Computer Science 342 1 (2005): 79-103.
    Publicado • 10.1016/j.tcs.2005.06.005
  20. Alves, Sandra; Florido, M.. "Type Inference using Constraint Handling Rules". Electronic Notes in Theoretical Computer Science 64 na (2002): 56-72.
    Publicado • 10.1016/S1571-0661(04)80346-3
Capítulo de livro
  1. Sandra Alves; Daniel Ventura. "Quantitative Weak Linearisation". 2022.
    10.1007/978-3-031-17715-6_7
Edição de livro
  1. Pagani, M; Alves, S. Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. 2019.
  2. Alves, S; Wasserman, R. 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017. 2018.
  3. Dowek, G; Licata, DR; Alves, S; Dowek,G; Licata,DR; Sandra Alves. Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016. Portugal. 2016.
    10.1145/2966268
  4. Alves, S; Mackie, I. Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. 2012.
    10.4204/eptcs.101
Livro
  1. Alves, S.; Degtyarev, A.; Fernández, M.. Access control and obligations in the category-based metamodel: A rewrite-based semantics. 2015.
    10.1007/978-3-319-17822-6_9
Resumo em conferência
  1. Alves, Sandra; Delia Kesner; Ramos, Miguel. "Extending the Quantitative Pattern-Matching Paradigm". Trabalho apresentado em 17th International Workshop on Logical and Semantic Frameworks, with Applications, Belo Horizonte, 2022.
    Publicado

Outros

Outra produção
  1. A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations. 2021. Alves, S; Iglésias, J.
  2. EVL: a typed functional language for event processing. 2021. Alves, S; Fernández, M; Ramos, M.
  3. A graph-based framework for the analysis of access control policies. We design a graph-based framework for the analysis of access control policies that aims at easing the specification and verification tasks for security administrators. We consider policies in the category-based access control model, which has been shown to subsume many of the most well known access control models (e.g., MAC, DAC, RBAC). Using a graphical representation of category-based policies,. 2017. Sandra Alves; Fernández,Maribel. http://repositorio.inesctec.pt/handle/123456789/5228.
    http://dx.doi.org/10.1016/j.tcs.2016.10.018
  4. Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. 2016. Sandra Alves. http://repositorio.inesctec.pt/handle/123456789/5226.
  5. The G-ACM Tool: using the Drools Rule Engine for Access Control Management. 2016. Sá, J; Alves, S; Broda, S.
  6. Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. 2015. Sandra Alves; Cervesato,I; Alves, S; Cervesato, I. http://repositorio.inesctec.pt/handle/123456789/5219.
    http://dx.doi.org/10.4204/eptcs.176
  7. Linear Recursion. 2010. Alves, Sandra; Fernández, Maribel; Florido, Mario; Mackie, Ian.
  8. Linear Recursive Functions. Lecture Notes in Computer Science. 2007. Alves, Sandra.
    10.1007/978-3-540-73147-4_9
  9. Iterator Types. Lecture Notes in Computer Science. 2007. Alves, Sandra.
    10.1007/978-3-540-71389-0_3
  10. The Power of Linear Functions. Lecture Notes in Computer Science. 2006. Alves, Sandra.
    10.1007/11874683_8
  11. Linearization by Program Transformation. Lecture Notes in Computer Science. 2004. Alves, Sandra.
    10.1007/978-3-540-25938-1_14
Atividades

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2021/01/01 - 2022/09/30 Computational Logic Autumn Summit (CLAS 2022). The Computational Logic Autumn Summit 2022 brought together six international conferences, one workshop and three international Summer Schools related to computational logic and computer science. (2022/09/19 - 2022/09/30)
Congresso (Membro da Comissão Organizadora)
 Ivane Javakhishvili Tbilisi State University, Georgia
2019/09/01 - 2020/06/30 4th Women in Logic Workshop (WiL'20) (2020/06/30 - 2020/06/30)
Oficina (workshop)
2017/08/01 - 2019/04/01 12th International Workshop on Developments in Computational Models (DCM'18) (2018/07/08 - 2018/07/08)
Oficina (workshop) (Presidente da Comissão Organizadora)
2016/09/01 - 2018/06/01 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA'17) (2017/09/23 - 2017/09/24)
Oficina (workshop)
2015/07/01 - 2016/06/30 Responsável principal pela organização da 1ª International Conference on Formal Structures for Computation and Deduction" (FSCD'16) (2016/06/22 - 2016/06/26)
Conferência (Presidente da Comissão Organizadora)
2012/06/01 - 2013/07/31 Logic Colloquium (LC’13) (2013/07/22 - 2013/07/27)
Conferência (Membro da Comissão Organizadora)

Arbitragem científica em conferência

Nome da conferência Local da conferência
2022/01/01 - 2022/12/31 28th International Conference on Types for Proofs and Programs
2022/01/01 - 2022/06/30 38th International Conference on Mathematical Foundations of Programming Semantics
2020/10/10 - 2021/04/01 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'21)
2020/02/10 - 2020/06/30 5th International Conference on Formal Structures for Computation and Deduction (FSCD'20) Paris, França
2019/07/01 - 2019/09/30 28th International Conference on Computer Science Logic (CSL'20) Barcelona, Espanha
2016/05/09 - 2016/06/20 18th International Symposium on Principles and Practice of Declarative Programming (PPDP'16) Edinburgh, UK
2014/02/10 - 2014/06/20 10th International Conference in Computability in Europe (CiE’14)

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2015/01/01 - Atual Mathematical Structures in Computer Science (MSCS) Cambridge University Press
2015/01/01 - Atual "IfColog Journal of Logics and their Applications" (FLAP) IFColog

Membro de associação

Nome da associação Tipo de participação
2010/01/01 - Atual International Federation for Computational Logic (IFCoLog) Membro da comissão executiva

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2017/09/24 - Atual Membro do "Steering Committee" do workshop internacional "Logical and Semantic Frameworks with Applications" (LSFA)
Membro
2016/06/25 - Atual Membro do "Steering Committee" e "Publicity Chair" da conferência internacional "Formal Structures for Computation and Deduction" (FSCD)
Membro
2016/01/01 - Atual Directora do Mestrado em Ciência de Computadores
Diretor
 Universidade do Porto - Faculdade de Ciências, Portugal
2015/01/01 - Atual Membro do "Steering Committee" do workshop internacional LINEARITY.
Membro
2014/07/12 - 2015/07/01 Membro do "Steering Committee" da conferência internacional "TypedLambdaCalculus and Applications" (TLCA)
Membro
Distinções

Prémio

2005 Distinction for Young Researchers "Programa Gulbenkian de Estímulo à Investigação"
Fundação Calouste Gulbenkian, Portugal