Leading French Computer Scientist Advances Distributed Systems Verification
Dr. Fabrice Kordon serves as Professor at Sorbonne Université (formerly Université Pierre & Marie Curie), where he has established himself as a leading expert in distributed systems and software reliability. After earning his doctorate in 1992 and habilitation in 1998, he created and led the "Distributed Systems and Applications" specialization during the implementation of the LMD reform. As head of the "Modeling and Verification" team at LIP6 (Laboratory of Computer Science Paris 6), his research focuses on software reliability in distributed systems, formal methods, and model-driven engineering. His contributions include significant work on Petri nets, rapid system prototyping, and mobile device programming, while also pioneering online education through various MOOCs, particularly in iOS development. Through his leadership roles in academic administration and research, Kordon continues to shape the future of distributed systems education and research in France