Leading French Computer Scientist Specializes in Formal Verification
Dr. Claude Dutheillet serves as Associate Professor (Maître de Conférences) at Université Pierre & Marie Curie (now Sorbonne Université), where he specializes in formal verification of distributed systems. After earning his doctorate from UPMC, he has focused his research on developing and applying formal methods to verify the correctness of distributed systems and concurrent programs. His work contributes to ensuring the reliability and safety of complex distributed computing systems through mathematical verification techniques