Researcher, Teacher, Formal verification, Model checking
Fabrice Kordon is a professor at Université Pierre & Marie Curie (Paris 6). His research work deals with distributed systems, software engineering and formal methods. He is currently focusing on the definition and implementation of efficient model checking techniques for the formal verification of complex systems. Incidentally, he also teaches iOS programming since 2010, and has created several MOOC on FUN derived from these courses.