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

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

2020

EVL: A Typed Higher-order Functional Language for Events

Authors
Alves, S; Fernandez, M; Ramos, M;

Publication
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Abstract
We define EVL, a minimal higher-order functional language for dealing with generic events. The notion of generic event extends the well-known notion of event traditionally used in a variety of areas, such as database management, concurrency, reactive systems and cybersecurity. Generic events were introduced in the context of a metamodel to deal with obligations in access control systems. Event specifications are represented as records and we use polymorphic record types to type events in our language. We show how the higher-order capabilities of EVL can be used in the context of Complex Event Processing (CEP), to define higher-order parameterised functions that deal with the usual CEP techniques.

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.

Supervised
thesis

2017

Fingerprinting HTTP2 web pages

Author
Francisco Pedro Chorão Estevão

Institution
UP-FEUP

2017

Conversor eletrónico de potência para sistema híbrido de armazenamento de energia

Author
Gonçalo André Maio Dias

Institution
UP-FEUP

2017

Evaluating Demand Response Programs By Means Of Key Performance Indicators

Author
Fábio José Correia de Brito

Institution
UP-FEUP

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