Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

Actividades académicas:

  • Professora Auxiliar  DCC-FCUP
  • Investigadora no CRACS, INESC-TEC
  • Membro do Steering Committee da Conferência FSCD (Publicity Chair)
  • Membro do Steering Committee do Workshop Linearity
  • Membro do corpo editorial da revista MSCS 
  • Membro do corpo editorial da revista IFCoLog FLAP 
  • Membro executivo da IFCoLog
 Graud Académicos:
  • Doutoramento em Ciência de Computadores, Universidade do Porto (2007)
  • Mestrado em Informática, Universidade do Porto (2001)     
  • Licenciatura em Ciência de Computadores, Universidade do Porto (1999) 
 Tópicos de Investigação:
  • Linearidade, Lambda Calculus, Teoria de Tipos
  • Specificações Formais, Modelos de Controlo de Acesso

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Sandra Alves
  • Cluster

    Informática
  • Cargo

    Investigador Sénior
  • Desde

    01 março 2015
Publicações

2019

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

Autores
Alves, S; Broda, S;

Publicação
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

Autores
Pagani, M; Alves, S;

Publicação
DCM/ITRS

Abstract

2018

Pattern-based calculi with finitary matching

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

Publicação
Logic Journal of the IGPL

Abstract

2018

Preface to special issue: LINEARITY 2014

Autores
Alves, S; Cervesato, I;

Publicação
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Abstract

2018

A Unifying Framework for Type Inhabitation

Autores
Alves, S; Broda, S;

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

Abstract

Teses
supervisionadas

2016

Formula-Tree Method Tool

Autor
Joana Filipa Fernandes Martins

Instituição
UP-FCUP

2015

View and Verify Access Control Policies

Autor
João Pedro de Almeida e Sá

Instituição
UP-FCUP