Henri Hansen

Henri Hansen is a University Lecturer at Tampere University's Computing Sciences Department within the Faculty of Information Technology and Communication Sciences. His research focuses on concurrency theory, partial order reduction, stubborn sets, Petri nets, and formal methods. He holds a Doctor of Science (Technology) and Master of Science in Technology from Tampere University.

Key research interests include optimizing state space exploration through techniques like stubborn sets, analyzing financial networks (e.g., stock market dynamics), and applying formal methods to industrial systems. His work bridges theoretical foundations with practical applications in software verification and blockchain systems.

Recent publications emphasize network analysis in financial markets and Bitcoin systems, alongside advancements in partial order reduction algorithms. Hansen has received three notable awards for his contributions to stubborn set theory and coverability algorithms.