Departamento de Informática (UM)

Página institucional

13864

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

13864

Norihiro Yamada

Ass. Convidado

E-mail

E7-2.17

Qualificações: 2018 - DPhil em Theoretical C.Science (U.Oxford (UK))

Página pessoal: https://www.norileo.com/

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • Norihiro Yamada, Samson Abramsky: Dynamic game semantics. Math. Struct. Comput. Sci. 30(8): 892-951 (2020)

Projetos

  • IBEX (Quantitative methods for cyber-physical programming: FCT, PTDC/CCI-COM/4280/2021)

Docência

Regências: Nenhuma atribuída actualmente

Aulas:

Serviço

S/I

[ Quadro de todo o pessoal do DIUM ]