members.md

layout	page
title	Members
permalink	/members/

Staff

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

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

Ph.D. Students

• • 
  • • Pedro Ângelo
    • FCUP, LIACC
    • • Gradual typing
      • Functional programming
      • Object-oriented programming {: .myInterests} {: .myMemberSubItems} {: .myMemberItems}
• • 
  • • Miguel Ramos
    • FCUP, LIACC
    • • Quantitative types
      • Type theory
      • Functional programming {: .myInterests} {: .myMemberSubItems} {: .myMemberItems} {: .myMembers}

Research Associates

• • 
  • • David Pereira
    • Invited Assistant Professor @ FCUP, CISTER
    • • Real-time systems
      • Runtime Verification
      • Program Verification {: .myInterests} {: .myMemberSubItems} {: .myMemberItems}
• • 
  • • Vitor Rodrigues
    • Invited Assistant Professor @ FCUP, VORTEX CoLab
    • • Program Verification
      • Abstract Interpretation
      • Concurrent Programming {: .myInterests} {: .myMemberSubItems} {: .myMemberItems} {: .myMembers}

Edit the content of this page here. {: .editNote}