Hi, I'm
William Michaud.
CS Engineering @ INSA Lyon - Class of 2027
I build compilers, trading systems, AI tooling, and consult on technical problems, from AI adoption and security to low-level engineering. Currently CTO at Buddimm, I'm open to consulting missions, or starting from January 2027, I'm looking for a 6-month internship or a full-time role.
Ranked 2nd best in France, 40th in Europe - ICPC European Championship 2026
Won 1st place against 500k+ participants, Castor Informatique (national high school CS contest)
Prologin finalist - 2022, 2023, 2024, 2025
open-source projects shipped, and still many more to come...
01. Get To Know Me
About
Hey there, I'm William, I write code for work, for sport, and for fun.
I build things ranging from compilers and trading systems to three-player chess engines, all open-source on my GitHub. I've also consulted on engineering, AI automation, and cybersecurity: from porting production algorithms to rolling out AI workflows and auditing AI SaaS platforms. When I'm not shipping side projects, I'm grinding algorithm problems or designing contest exercises for others to solve.
Resume ↗Competitive Programming
I compete regularly in computer science contests. My team ranked 2nd in France and 40th in Europe at the 2026 ICPC European Championship, and we will compete again at SWERC 2026.
Background
Computer science engineering student at INSA Lyon, one of France’s top engineering schools, graduating in June 2027. Alongside my studies I lead multiple student associations, including INSAlgo as president. At Buddimm, I lead the technical stack; recent consulting includes security assessment at Profundum AI and algorithm modernization at BOBST.
Languages & Interests
I speak five languages: French (native), Creole (native), English (C2), German (B2) and Japanese (JLPT N4). Off the keyboard: mathematics, video games, the gym and running.
02. Selected Work
Projects
Featured. Other
↗C-Compiler
A compiler for a subset of C, built from scratch in C++20, ANTLR4 front end, custom 3-address IR, 7 optimization passes, and both x86-64 and ARM64 backends.
Featured. Full-stack
↗OpenTrade
Algorithmic trading research platform combining news sentiment analysis with LightGBM models for multi-horizon price prediction, on top of a realistic intraday backtesting engine.
Featured. Other
↗Chess2
Three-player chess on a hexagonal 96-cell board, in C++, including an adaptation of the Stockfish engine to reason about two adversaries and hexagonal geometry.
And many more side projects
View all on GitHub ↗03. Track Record
Experience
- May 2026 - Present Professional
Chief Technology Officer
Buddimm - Real Estate Consulting Startup (~10 people)
Joined as a software engineering intern; hired as CTO after the internship to own the company's entire technical operation.
- Built and run the company's full technical infrastructure: public website, internal tools, and the lead-generation pipeline
- Rolled out Claude for Teams company-wide and designed ~20 custom AI skills and connectors automating recurring workflows
- Defined which processes to automate with the CEO, cutting time wasted on repetitive tasks
- Trained the team on effective AI usage, good and bad use cases, prompting, and process integration
Web DevelopmentAI AutomationClaudeLead Generation - June 2026 Professional
Freelance Consultant
Profundum AI
Independent security assessment of a live AI SaaS platform. Covered the full stack, web application, APIs, database access controls, billing integration, and AI chat layer.
- Mapped the production attack surface through full-stack reconnaissance without relying on internal documentation
- Ran authorized, non-destructive penetration testing on production with live proof-of-concept validation
- Performed LLM-specific security analysis across the AI chat pipeline (prompt injection, tool abuse, data integrity)
- Delivered a structured report with prioritized remediation roadmap and post-fix verification guidance
Application SecurityPenetration TestingAPI SecurityLLM SecurityTechnical Writing - January 2026 - April 2026 Professional
Freelance Consultant
BOBST
Modernized the optimization algorithm of a production-line machine, software that computes the optimal output parameters of each component to maximize the line's working speed.
- Translated a 25,000+ line algorithm from CODESYS Structured Text to modern C++
- Worked without access to the closed-source compiler or a way to run the original scripts, validated behavior entirely through systematic manual debugging
- Re-optimized the ported algorithm and extended it with new complex features beyond the original scope
C++CODESYS STIndustrial AutomationOptimization - 2020 - 2026 Competition
Competitive Programming
ICPC, Prologin, France-IOI & more
Competing in international and national computer science competitions since 2020.
- 2nd in France, 40th in Europe at the 2026 ICPC European Championship
- 3rd in France at ICPC SWERC 2025, qualified for the European Championship
- Competing again at SWERC 2026
- Part of the INSA Lyon ICPC team (2024, 2025)
- 4-time finalist in Prologin (2022, 2023, 2024, 2025)
- 1st place in a France-IOI contest (Castor Informatique 2020) among 500,000+ participants
- 1st place in Match'Up Coding Battle 2020 among 2,000+ participants
- Designing contest exercises for INSAlgo and Le Match'Up
Algorithm DesignC/C++PythonAlgorithm OptimizationProblem Solving - June 2023 - August 2023 Research
Research Intern - Behavioral Changes Caused by Virtual Reality
Suwa University of Science, Nagano, Japan
Two-month research internship on behavioral changes caused by Virtual Reality, working with Professor Yamaguchi Takehiko.
- Designed and executed VR experiments to study user behavior and psychological impacts of immersive technologies
- Analyzed experimental data using statistical methods, identifying key behavioral patterns and correlations
- Developed VR prototypes using Unity for research simulations and user testing
- Presented research findings at university symposiums
VR DevelopmentUnityData AnalysisResearch Methodology - April 2024 Research
Research Intern - CAD & Fabrication of Carbon Fiber Aircraft
Northwestern Polytechnical University, Xi'an, China
Participated in the 2024 NPU Sino-Euro Spring School at NPU, a leading aerospace engineering university. Worked with Professor Lubin Huo on carbon fiber applications in the aircraft industry.
- Leveraged computer tools for designing and manufacturing carbon fiber-reinforced composite laminated aircraft crafts
- Studied advanced techniques for computer-aided design and fabrication of composite materials
- Explored applications of carbon fiber composites in improving aircraft performance and fuel efficiency
- Participated in hands-on sessions and research discussions with leading aerospace engineering professors
CADComposite MaterialsCarbon FiberAerospace Engineering - 2022 - 2027 Education
Computer Science & Engineering - Informatique (IF)
INSA Lyon - LyonTech La Doua, Villeurbanne
Five-year engineering curriculum at one of France's leading public grandes écoles, specializing in the Informatique (IF) department, a reference CS track training multi-skilled engineers across algorithms, software, systems, networks, and AI.
- Three-year IF specialization after the common first cycle, fundamentals, team-based projects, and electives, with yearly industry internships growing in scope
- Advanced coursework in algorithms, systems, networks, and software integration, reinforced through ICPC-level competitive programming practice
- Project-based learning culture aligned with real-world engineering: data structures, large-scale software design, and cross-disciplinary team projects
C++AlgorithmsSystemsSoftware Engineering - 2023 - 2025 Leadership
Community Leader - INSAlgo & Tech Associations
INSA Lyon
Active member and organizer in tech communities, leading initiatives to foster learning, collaboration, and professional development in computer science.
- President of INSAlgo (2025)
- Vice-President of AEDI (2025)
- Treasurer of INSAlgo (2024)
- Treasurer of ADT (2023)
Event OrganizationTeam CoordinationLeadershipMentorship
04. Toolbox
Skills
Languages
-
Python
-
C++
-
C#
-
Java
-
TypeScript
-
JavaScript
-
Kotlin
-
Rust
-
Swift
-
Ruby
-
PHP
-
HTML
-
CSS
-
TeX
Frameworks & Runtimes
-
React
-
Astro
-
Svelte
-
Tailwind
-
Node.js
-
Sequelize
-
Qt
-
Unity
Tools & Platforms
-
Git
-
GitLab
-
Docker
-
Conda
-
Jupyter
-
LangChain
-
NPM
-
MySQL
-
SQLite
-
Firebase
-
VS Code
-
Vim
-
Arduino
05. Let's Connect
Get In Touch
Always interested in new projects and opportunities.
Whether you have a consulting project, a question, or just want to say hi, feel free to reach out.
- Availability
- Consulting, 6-month internship, or full-time, from January 2027