Best Inria
Updated Daily
Xavier Leroy is a French computer scientist who holds a chair at the Collège de France and is associated with INRIA. He led the development of CompCert, the first optimizing C compiler to be formally verified for correctness using the Coq proof assistant, ensuring mathematically that compiled code f...
Cordelia Schmid is a computer vision researcher at INRIA (French Institute for Research in Computer Science and Automation) who works on image description, object recognition, and video analysis. She developed local image feature descriptors used in computer vision applications. Schmid has worked on...
Gérard Berry is a French computer scientist at INRIA who created the Esterel synchronous programming language, designed for reactive systems and hardware/software codesign. He contributed to synchronous programming languages and their formal semantics, with applications in safety-critical systems su...
Francis Bach is a prominent French machine learning researcher who leads the Sierra project-team at INRIA Paris and the École Normale Supérieure. He is recognized for his foundational contributions to convex optimization, kernel methods, and sparse learning algorithms. His theoretical work provides...
Xavier Rival is a computer scientist and senior researcher at INRIA, France's national research institute for digital science. He specializes in abstract interpretation and static program analysis, focusing on developing automated methods to verify the safety and correctness of software. Rival is wi...
