Departamento de Informática (UM)

3708

José Miguel Paiva Proença

Prof. Auxiliar Convidado

E-mail

Qualificações: 2005 - Licenciatura em Math & Computer Science (U.Minho); 2011 - Doutoramento em Computer Science (U.Leiden (NL))

Página pessoal: http://jose.proenca.org

Investigação

Centro

S/I

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

• Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença: 'API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)'. Dagstuhl Artifacts Ser. 8(2): 19:1-19:4 (2022)
• Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença: 'API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3'. ECOOP 2022: 27:1-27:28
• José Proença, Markus Lumpe: 'Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)'. Sci. Comput. Program. 218: 102803 (2022)
• José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi: 'Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems'. RSSRail 2022: 83-94
• Sung-Shik Jongmans, José Proença: 'ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming'. ISoLA (1) 2022: 460-478

Projetos

S/I

Docência

Regências: Nenhuma atribuída actualmente

Aulas:

• Algoritmos e Complexidade [J303N6]: turnos TP 4 e TP 5
• Programação Ciber-Física [ME78ME7800006551]: turnos T 1 e TP 1
• Computação Ciber-Física [ME80ME8002006775]: turno TP 1

Serviço

S/I