Henri Hansen

Lecturer, ITC, Tampere University
Joined
May 2025

Names

Henri Hansen (Preferred)

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

No relations added

Expertise

Formal Methods and Model checking
2002 – 2018

Publications

Co-Authors