Name: Sandra Alves
 
Positions: Assistant Professor  DCC-FCUP
                  LIACC Researcher
 
Academic Degrees:
  - Bsc in Computer Science, University of Porto (1999)
  - MSc in Informatics, University of Porto (2001)     
  - PhD in Computer Science, University of Porto (2007)
 
Research Topics:
  Linearity, Lambda Calculus, Type Theory
Contacts:
Email:     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.
Research Projects
- LINEAR: linearity in foundational calculi for programming languages.
- RESCUE: reliable and safe code execution for embedded systems.
 
Current Events:
- LINEARITY 2009: First International Workshop on Linearity. PC member.
 
Recent Publications (see also DBLP):
- Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot. Minimality in a Linear Calculus with Iteration. Electr. Notes Theor. Comput. Sci. 204, (2008)
- Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. Iterator Types. FoSSaCS, (2007).    
- Sandra Alves, Maribel Fernandez, Mário Florido and Ian Mackie. Linear Recursive Functions. In Rewriting, Computation and Proof, Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday, 2007.
- Sandra Alves, Maribel Fernandez, Mário Florido and Ian Mackie. System T Revisited (Abstract). Workshop on Linear Logic, Ludics, Implicit Complexity and Operator Algebras: Dedicated to Jean-Yves Girard on his 60th birthday, 2007.
- Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. The Power of Linear Functions. Proceedings of CSL, 2006.
- Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. The Power of Closed-Reduction Strategies. Proceedings of WRS, 2006.
- Sandra Alves and Mario Florido. Weak Linearization of the Lambda Calculus. Special Issue on Applied Semantics of the Journal of Theoretical Computer Science (TCS), 2005.