
Registered user since Wed 28 Oct 2020
Name: Henri Hansen
Country: Finland
Affiliation: Tampere University
Personal website: https://www.linkedin.com/in/henrihansen
Research interests: Model checking, finance, logic, information networks, graph algorithms, optimization
Contributions
SPIN 2021 | Tampere University in Programming Committee within the SPIN-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile