Members

Staff

• • 
  • • Manuel Barbosa
    • Associate professor @ FCUP, HASLab
    • • Cryptography and Information Security
      • Formal Verification
• • 
  • • Mário Florido
    • Associate professor @ FCUP, LIACC
    • • Type Theory
      • Lambda calculus
      • Functional Programming
• • 
  • • Nelma Moreira
    • Associate professor @ FCUP, CMUP
    • • Automata Theory
      • Formal Languages
      • Computational Logic
• • 
  • • Sabine Broda
    • Associate professor @ FCUP, CMUP
    • • Automata Theory
      • Type Theory
      • Computational Logic

• • 
  • • Bernardo Portela
    • Assistant professor @ FCUP, HASLab
    • • Cryptography
      • Provable Security
• • 
  • • Hugo Pacheco
    • Assistant professor @ FCUP, HASLab
    • • Cryptography
      • Secure Multi-party Computation
      • Programming Languages
• • 
  • • João Barbosa
    • Assistant professor @ FCUP, LIACC
    • • Type theory
      • Logic programming
      • Program verification
• • 
  • • José Proença
    • Assistant professor @ FCUP, CISTER
    • • Coordination models
      • Product line engineering
      • Functional programming
• • 
  • • Pedro Vasconcelos
    • Assistant professor @ FCUP, LIACC
    • • Functional programming
      • Resource analysis
      • Type-based static analysis
      • Property-based testing
• • 
  • • Rogério Reis
    • Assistant professor @ FCUP, CMUP
    • • Automata Theory
      • Combinatorics
      • Descriptional Complexity
• • 
  • • Sandra Alves
    • Assistant professor @ FCUP, CRACS
    • • Linearity
      • Lambda Calculus
      • Type Theory

Ph.D. Students

• • 
  • • Pedro Ângelo
    • FCUP, LIACC
    • • Gradual typing
      • Functional programming
      • Object-oriented programming
• • 
  • • Miguel Ramos
    • FCUP, LIACC
    • • Quantitative types
      • Type theory
      • Functional programming

Research Associates

• • 
  • • David Pereira
    • Invited Assistant Professor @ FCUP, CISTER
    • • Real-time systems
      • Runtime Verification
      • Program Verification

  -

  • 
  • • Vitor Rodrigues
    • Invited Assistant Professor @ FCUP, VORTEX CoLab
    • • Program Verification
      • Abstract Interpretation
      • Concurrent Programming

Edit the content of this page here.