Henri Hansen

Registered user since Wed 28 Oct 2020

Name:Henri Hansen
Country:Finland
Affiliation:Tampere University
Research interests:Model checking, finance, logic, information networks, graph algorithms, optimization

Contributions

SPIN 2021 Tampere University in Programming Committee within the SPIN-track