Name:
Sandra Alves
Academic activities:
- Assistant Professor
DCC-FCUP
-
Researcher at
CRACS, INESC-TEC
-
Types Conference
Steering Committee
(Secretary)
-
Linearity Workshop
Steering Committee
-
MSCS
Editorial Board
-
IFCoLog FLAP
Editorial Board
-
IFCoLog
Executive Board
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
Contacts:
MY OFFICIAL EMAIL HAS CHANGED!!!
Email:
my_first_name at fc.up.pt
(instead of my_first_name at dcc.fc.up.pt)
Phone: +351 220 402 931
Fax: +351 220 402 950
Address: DCC-FCUP, Rua do Campo Alegre 1021/1055, 4169-007 Porto, Portugal.