Andreia Mordido

Contactos

Departamento de Informática

Sala/Gabinete 6.3.18
Ext. Principal 526318
Telefone Direto 217500568
Email afmordido@ciencias.ulisboa.pt

Carreira Docente Universitário
Categoria Professor Auxiliar

Indicadores

Orcid
Scopus
Google Scholar
CiênciaVitae

Palavras Chave

Keywords


Interesses Científicos

Linguagens de Programação, Sistemas de Tipos, Lógica, Problemas de Satisfatibilidade


Scientific Interests

Programming Languages, Type Systems, Logic, Satisfiability Problems


Publicações selecionadas
  • Z. Lakhani, A. Das, H. DeYoung, A. Mordido, F. Pfenning. Polarized Subtyping. ESOP 2022.
  • F. Casal, A. Mordido, and V.T. Vasconcelos. Mixed Sessions. Theoretical Computer Science. 2022.
  • A. Das, H. DeYoung, A. Mordido, and F. Pfenning. Nested Session Types. ESOP 2021.
  • B. Almeida, A. Mordido, and V.T. Vasconcelos. Deciding the bisimilarity of context-free session types. TACAS 2020
  • C. Caleiro, F. Casal, A. Mordido. Classical Generalized Probabilistic Satisfiability. Proceedings of IJCAI 2017.

Ver todas as Publicações