???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.
Read full resume ↓
Identification

Personal identification

Full name
Sandra Maria Mendes Alves

Citation names

  • Alves, Sandra

Author identifiers

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

Websites

Knowledge fields

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

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Advanced (C1) Proficiency (C2) Advanced (C1)
French Elementary (A2) Elementary (A2) Beginner (A1) Elementary (A2) Elementary (A2)
Education
Degree Classification
2007
Concluded
 Ciência de Computadores (Doutoramento)
Major in Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Linearisation of the Lambda-calculus" (THESIS/DISSERTATION)
1999 - 2001
Concluded
 Mestrado em Informática (Mestrado)
Universidade do Porto, Portugal
"Inferência de Tipos e Resolução de Restrições" (THESIS/DISSERTATION)
 Muito bom
1994 - 1999
Concluded
 Ciência de Computadores (Licenciatura)
Universidade do Porto, Portugal
 15
Affiliation

Science

Category
Host institution 		Employer
1999/10/01 - 2015/03/01 Researcher (Research) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2007/07/10 - Current Assistant Professor (University Teacher) Universidade do Porto, Portugal
2007 - 2013 Assistant Professor (University Teacher) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2001/09 - 2007/07 Assistant (University Teacher) Universidade do Porto, Portugal
2000/04/01 - 2001/09/01 Tutor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal

Others

Category
Host institution 		Employer
2015/03/01 - Current Effective Member Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Projects

Grant

Designation Funders
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
Concluded
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
Concluded
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
Concluded

Contract

Designation Funders
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
Ongoing
2019/04/01 - 2022/03/31 Safe Cities - Inovação para Construir Cidades Seguras
POCI-01-0247-FEDER-041435
Researcher
2019/09/01 - 2021/08/31 Container Oriented Policing
POCI-01-0247-FEDER-039598
Researcher
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
Concluded
2015/07/01 - 2019/06/30 Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact
NORTE-01-0145-FEDER-000020
Researcher
Concluded
2015/07/01 - 2019/06/30 NanoSTIMA – Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Researcher
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
Concluded
2008/01/01 - 2011/03/31 RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Researcher
Concluded
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
Concluded
Outputs

Publications

Book
  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
Book chapter
  1. Sandra Alves; Daniel Ventura. "Quantitative Weak Linearisation". 2022.
    10.1007/978-3-031-17715-6_7
Conference abstract
  1. Alves, Sandra; Delia Kesner; Ramos, Miguel. "Extending the Quantitative Pattern-Matching Paradigm". Paper presented in 17th International Workshop on Logical and Semantic Frameworks, with Applications, Belo Horizonte, 2022.
    Published
Conference paper
  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.
Edited book
  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
Journal article
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 10.1016/S1571-0661(04)80346-3

Other

Other output
  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
Activities

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Congress (Member of the Organising Committee)
 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)
Workshop
2017/08/01 - 2019/04/01 12th International Workshop on Developments in Computational Models (DCM'18) (2018/07/08 - 2018/07/08)
Workshop (President of the Organising Committee)
2016/09/01 - 2018/06/01 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA'17) (2017/09/23 - 2017/09/24)
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)
Conference (President of the Organising Committee)
2012/06/01 - 2013/07/31 Logic Colloquium (LC’13) (2013/07/22 - 2013/07/27)
Conference (Member of the Organising Committee)

Association member

Society Organization name Role
2010/01/01 - Current International Federation for Computational Logic (IFCoLog) Membro da comissão executiva

Committee member

Activity description
Role 		Institution / Organization
2017/09/24 - Current Membro do "Steering Committee" do workshop internacional "Logical and Semantic Frameworks with Applications" (LSFA)
Member
2016/06/25 - Current Membro do "Steering Committee" e "Publicity Chair" da conferência internacional "Formal Structures for Computation and Deduction" (FSCD)
Member
2016/01/01 - Current Directora do Mestrado em Ciência de Computadores
Director
 Universidade do Porto - Faculdade de Ciências, Portugal
2015/01/01 - Current Membro do "Steering Committee" do workshop internacional LINEARITY.
Member
2014/07/12 - 2015/07/01 Membro do "Steering Committee" da conferência internacional "TypedLambdaCalculus and Applications" (TLCA)
Member

Conference scientific committee

Conference name Conference host
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)

Journal scientific committee

Journal title (ISSN) Publisher
2015/01/01 - Current Mathematical Structures in Computer Science (MSCS) Cambridge University Press
2015/01/01 - Current "IfColog Journal of Logics and their Applications" (FLAP) IFColog
Distinctions

Award

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