Speaker Details

Simon Hudon is a Ph.D. candidate in Computer Science at Lassonde School of Engineering, York University, Canada. He completed his M.Sc. at ETH, Zürich, Switzerland and his B.Sc. at Université de Sherbrooke, Canada. He is interested in the design of software systems using their proof of correctness as a guiding principle. More specifically, his work focuses on refinement approaches to the analysis and design of reactive and concurrent systems and to the proof of liveness properties. He is also the inventor of the Unit-B method and the designer of the supporting theorem prover Literate Unit-B.