Luísa Lourenço

Software Engineer

PhD (2016)
Computer Science at FCT/UNL, advised by Luís Caires
MSc (2010)
Computer Science at FCT/UNL
BSc (2007)
Computer Science at FCT/UNL
My research interests lie in the area of Programming Languages Principles, Design and Implementation. Namely:
  • Programming Languages
  • Formal Methods
  • Type Systems
  • Language-based Security
  • Information Flow Analysis
DIFT Prototype Type Checker
On-going development, current version 1.10.