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

2019

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types

Authors
Alves, S; Broda, S;

Publication
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Abstract
In this paper, we identify a subset of types in the rank 2 intersection type system, where types do not contain positive occurrences of intersections. We extend the notion of pre-grammar of a type and address the type-inhabitation problem for types in this subset, as well as their intersections.

2019

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

Authors
Pagani, M; Alves, S;

Publication
DCM/ITRS

Abstract

2018

Pattern-based calculi with finitary matching

Authors
Alves, S; Dundua, B; Florido, M; Kutsia, T;

Publication
Logic Journal of the IGPL

Abstract

2018

Preface to special issue: LINEARITY 2014

Authors
Alves, S; Cervesato, I;

Publication
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Abstract

2018

A Unifying Framework for Type Inhabitation

Authors
Alves, S; Broda, S;

Publication
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK

Abstract

Supervised
thesis

2016

Formula-Tree Method Tool

Author
Joana Filipa Fernandes Martins

Institution
UP-FCUP

2015

View and Verify Access Control Policies

Author
João Pedro de Almeida e Sá

Institution
UP-FCUP