"False"
Umeå University
printicon
Main menu hidden.

Andreas Brännström, Computing Science

Mon
5
May
Time Monday 5 May, 2025 at 13:00 - 17:00
Place HUM.D.220

Andreas Brännström defends his thesis by the title Formal Methods for Verification in Human-Agent Interaction.

Supervisor: Juan Carlos Nieves Sanchez

Organiser: Department of Computing Science, Faculty of Science and Technology, Umeå University
Event type: Defence of doctoral thesis
Staff photo Andreas Brännström
Speaker
Andreas Brännström
Doctoral student
Read about Andreas Brännström
Contact
Juan Carlos Nieves Sanchez
Read about Juan Carlos Nieves Sanchez