Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • 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.

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

2018

Preface

Authors
Alves, S; Wasserman, R;

Publication
Electr. Notes Theor. Comput. Sci.

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