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