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
ECOOP and ISSTA 2021-profile
View general profile
View general profile