Departamento de Informática (UM)

14986

Hugo Daniel dos Santos Macedo

Prof. Auxiliar

Lógica e Métodos Formais

E-mail
Ext.: +604458

E7-1.16

Qualificações: 2007 - Licenciatura em Matemática e Ciências da Computação (U.Minho); 2012 - PhD em Computer Science (MAPi)

Página pessoal:

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP | CV

Publicações selecionadas

• Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo D. Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock: A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34(1): 1-39 (2022)
• Malthe Faurschou Tøttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo D. Macedo, Lukas Esterle: Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. SEFM Workshops 2022: 200-209
• Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo D. Macedo, Peter Gorm Larsen: Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. ACSOS-C 2022: 53-54
• Hugo D. Macedo, Alessandro Fantechi, Anne E. Haxthausen: Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM 2017: 146-162
• H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. Science of Comp. Programming. Volume 78, 2012, pp.2160-2191 (DOI:10.1016/j.scico.2012.07.012).

Projetos

• HUBCAP (H2020) ( Co-PI )
• INTO-CPS (H2020)
• RCAS (DSTL UK ) ( Co-PI )
• Overture

Docência

Regências:

• Análise e Visualização de Dados (MHDIG)
• Ferramentas Avançadas para Tradução (Mestrado em Tradução e Comunicação Multilingue - Tradução)
• Linguagens para Anotação de Documentos (LA)
• Processamento de Linguagem Natural em Engenharia Biomédica (Mestrado em Engenharia Biomédica - Informática Médica)
• Scripting no Processamento de Linguagem Natural (MEINF)
• Tratamento Digital da Informação (ARQUEOL)

Aulas:

• Linguagens para Anotação de Documentos [8404S6]: turno T 1
• Scripting no Processamento de Linguagem Natural [ME78ME7800005454]: turno T 1
• Processamento de Linguagem Natural em Engenharia Biomédica [ME79ME7903006739]: turno TP 1
• Ferramentas Avançadas para Tradução [ML21ML2101003909]: turno TP 1
• Análise e Visualização de Dados [ML29ML2900006169]: turno TP 1
• Projeto Integrado em Humanidades Digitais I [ML29ML2900007485]: turno PL 1
• Projeto Integrado em Humanidades Digitais II [ML29ML2900007486]: turno PL 1

Serviço

• Visiting Professor (Instituto Superior Técnico) - 2024/2025
• Assistant professor, Aarhus University (2022/25)
• Visiting scholar at Carnegie Mellon University (2008)
• Academic Research Collaboration Officer, DGIT Center, U. Aarhus (2018-2023)