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