Henri Hansen (Preferred)
Henri Hansen
Lecturer, ITC, Tampere University
Joined
May 2025
Names
Emails
****@tuni.fi (Confirmed)
Personal Links
Career & Education History
Lecturer
ITC, Tampere University (tuni.fi)
2015 – Present
Postdoc
Temasek Laboratories, National University of Singapore (nus.edu.sg)
2012 – 2013
PhD student
Software Systems, Tampere University (tuni.fi)
2002 – 2007
Advisors, Relations & Conflicts
Expertise
Formal Methods and Model checking
2002 – 2018