Egon Börger

Egon Börger

male, 63 years old
Louvain alumni, University of Münster, Italian, University of Paris, verification, university of pisa…Formal methods, formalmethod
Egon Börger is a German-born computer scientist based in Italy. Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. He studied at th...
Xavier Leroy

Xavier Leroy

male
PhD, Directeur de Recherche, INRIA, Ecole Normale Superieure, Objective Caml, formalmethod
Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the Objective Caml system. He...