Home page of Xavier Leroy, sharing research, courses, publications, and open-source software in computer science. Includes projects and academic info.
Explore research and open-source projects
This website is the personal home page of Xavier Leroy, a renowned computer scientist and professor at Collège de France. Here, you can find detailed information about his research projects, academic courses, publications, and contributions to open-source software.
Whether you're interested in programming languages, formal verification, or want to learn more about his involvement in projects like OCaml and CompCert, this site offers a wealth of resources. It's a great place for students, researchers, and anyone curious about computer science to explore Xavier Leroy's work and connect with his academic network.
You'll also find links to talks, collaborators, and further reading, making it easy to dive deeper into specific topics or discover new developments in software sciences.
Discover websites similar to Xavierleroy.org. Optimized for ultra-fast loading.
Personal site of mathematician J.S. Milne featuring math resources, course notes, and photography from mountains and travels in New Zealand and beyond.
Richard Stallman's personal site shares his views, writings, and resources on technology, politics, and free software, plus personal stories and links.
Explore and analyze 3D structures of proteins and biomolecules with RCSB PDB. Access powerful search, visualization, and educational tools for science.
IMGT offers expertly curated immunogenetics databases and online analysis tools for researchers studying antibodies, T cell receptors, and immune responses.
Discover detailed information on drug targets, medicines, and experimental compounds with an expert-curated pharmacology database for researchers and students.
UW Faculty Web Server offers hosting for University of Washington faculty websites, making it easy to share academic content and resources online.
A platform for City, University of London staff to host personal web pages, share information, and showcase academic work or professional interests.
Create and view personal web pages for LSE students and staff. Share information, opinions, and projects outside official university channels.
Browse and access personal web pages created by Duke University students, faculty, and staff. Find community profiles, projects, and academic content.
Purdue's Career Account Web Service lets students and staff easily publish personal websites using their university account credentials.
Andrew Hedges shares his journey as an engineering leader, educator, and advocate for web accessibility, with insights and resources for web developers.
Browse personal web pages for staff, students, and associates of the School of Informatics at the University of Edinburgh. Content varies by publisher.
Explore philosopher Nick Bostrom’s work, including papers, videos, and interviews on AI, ethics, and the future of humanity. Available in multiple languages.
Explore degree programs, admissions, and career resources at Carnegie Mellon's Tepper School of Business, focused on business, technology, and analytics.
Explore Marco Beierer's personal site for insights on software product development, technical SEO, and access to his projects and tools.
Discover tools and services similar to xavierleroy.org
Explore related tools and services in these categories