- Linguagens de Programação, Sistemas de Tipos, Lógica, Problemas de Satisfatibilidade
Andreia Mordido
Contactos
Departamento de InformáticaSala/Gabinete 6.3.18
Ext. Principal 526318
Telefone Direto 217500568
Email afmordido@ciencias.ulisboa.pt
Carreira Docente Universitário
Categoria Professor Auxiliar
Indicadores
OrcidScopus
Google Scholar
CiênciaVitae
Palavras Chave
Keywords
- Programming Languages, Type Systems, Logic, Satisfiability Problems
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.