Ivan Lanese

Associate Professor at the Department of Computer Science and Engineering of the University of Bologna and INRIA, working on theoretical computer science, programming languages, and formal methods. Author of more than 70 papers, with a recent focus on reversible computing and concurrent systems debugging.