Research Projects:
- TACLe: Timing Analysis on Code-Level - ICT COST Action IC1202.
- RESCUE: REliable and Safe Code execUtion for Embedded systems.
- LINEAR: Linearity in foundational calculi for programming languages.
- Type and effect systems for cost analysis of functional  programs, Anglo-Portuguese Joint Research Program n. B-14/04.
Current (and past) Events:
- LSFA 2018: 13th Workshop on Logical and Semantic Frameworks with Applications. PC member.
- DCM 2018: 12th Workshop on Developments in Computational Models. PC chair.
- LSFA 2017: 12th Workshop on Logical and Semantic Frameworks with Applications. PC co-chair.
- PPDP 2016: 18th International Symposium on Principles and Practice of Declarative Programming. PC member.
- FSCD 2016: First International Conference on Formal Structures for Computation and Deduction. Conference chair.
- PAS 2015 : Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation. PC member.
- LSFA 2014: 9th Logical and Semantic Frameworks, with Applications. PC member.
- LINEARITY 2014: Third International Workshop on Linearity. PC co-chair.
- CiE 2014: Computability in Europe 2014: Language, Life, Limits. PC member.
- Logic Colloquium 2013: Organising comittee.
- LINEARITY 2012: Second International Workshop on Linearity. PC co-chair.
- Days in Logic 2012.  Organising committee.
- LINEARITY 2009: First International Workshop on Linearity. PC member.
Recent Publications (see also DBLP):
- Sandra Alves, Maribel Fernández: A graph-based framework for the analysis of access control policies. Theoretical Computer Science, Volume 685, 3-22, 2017.
-Sandra Alves, Sabine Broda: Inhabitation machines: determinism and principality. NCMA 2017.
- Sandra Alves, Sabine Broda and Maribel Fernández: A typed language for events. LOPSTR 2015.
- Sandra Alves, Sabine Broda, A short note on type-inhabitation: Formula-trees vs. game semantics, Information Processing Letters, Elsevier, Volume 115, Issue 11, Pages 908–911, November 2015.
- Sandra Alves, Maribel Fernández: A Framework for the Analysis of Access Control Policies with Emergency Management. Electr. Notes Theor. Comput. Sci. 312: 89-105, 2015.
- Sandra Alves, Anatoli Degtyarev, Maribel Fernández: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR 2014: 148-163, 2014.
- Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Linearity: a Roadmap, Journal of Logic and Computation, Oxford University Press, 24(3): 513-529, 2014.