Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

Academic activities: 

 Academic Degrees:
  • PhD in Computer Science, University of Porto (2007)
  • MSc in Informatics, University of Porto (2001)     
  • Bsc in Computer Science, University of Porto (1999) 
 Research Topics:
  • Linearity, Lambda Calculus, Type Theory
  • Formal Specifications, Access Control Models

Interest
Topics
Details

Details

  • Name

    Sandra Alves
  • Cluster

    Computer Science
  • Role

    Senior Researcher
  • Since

    01st March 2015
Publications

2022

Report on women in logic 2020 & 2021

Authors
Alves, S; Kiefer, S; Sokolova, A;

Publication
ACM SIGLOG News

Abstract

2022

Quantitative Weak Linearisation

Authors
Alves, S; Ventura, D;

Publication
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Abstract

2022

Structural Rules and Algebraic Properties of Intersection Types

Authors
Alves, S; Florido, M;

Publication
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Abstract
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system; terms typed by non-idempotent intersections with terms typed in the affine and linear type systems; and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

2021

Preface to special issue: LSFA 2017 and 2018

Authors
Alves, S; Wassermann, R;

Publication
Math. Struct. Comput. Sci.

Abstract

2021

An ML-style record calculus with extensible records

Authors
Alves, S; Ramos, M;

Publication
Electronic Proceedings in Theoretical Computer Science, EPTCS

Abstract

Supervised
thesis

2022

Quantitative Types for Programming Languages

Author
Jorge Miguel Soares Ramos

Institution
UP-FCNAUP

2022

Linear Rank Quantitative Types

Author
Fábio Daniel Martins Reis

Institution
UP-FCUP

2021

Typed Languages for Events and their Applications

Author
Jorge Miguel Soares Ramos

Institution
UP-FCNAUP

2021

Typed Port-Graphs for Access Control Verification

Author
Jorge Paulino Iglésias

Institution
UP-FCUP

2021

PortGraphs for Access Control Verification

Author
Jorge Paulino Iglésias

Institution
UP-FCUP