William Michaud

Systems · AI Tooling · Competitive Programming

INSA Lyon, class of 2027 · Lehigh exchange, Fall 2026

I build compilers, trading systems, and AI tooling, from agentic workflows to low-level engineering. CTO at Buddimm through January 2027. Seeking a 6-month internship starting January 2027.

View work Get in touch Resume ↗

GitHub ↗ LinkedIn ↗

Scroll to explore

2nd in France, 40th of 53 — ICPC European Championship 2026, Warsaw

500K+

Won 1st place against 500k+ participants, Castor Informatique

4×

Prologin finalist — 2022, 2023, 2024, 2025

60+

open-source projects shipped, and still many more to come...

01. Practice

What I do

Hey there, I'm William — I write code for work, for sport, and for fun. Three things I keep coming back to:

Freelance

2026 · Citeos · BOBST

I take on real engineering problems end to end — industrial toolchains, satellite-imagery AI, security audits.

Citeos (VINCI Energies): satellite-imagery AI that cuts streetlight audits from a month of field work to a few hours.
BOBST: reimplemented a 25,000-line Structured Text optimizer in C++, building my own ST compiler to do it.
Profundum AI: full security audit of a live AI SaaS platform, from the subscription system to the LLM pipeline.

AI Tooling

Agents · daily driver

AI is how I work and what I ship: agentic workflows running in production, not just prototypes.

As CTO at Buddimm, rolled out Claude for Teams and company-wide MCP servers.
Grew Buddimm’s traffic from ~200 to ~2,000 visits in two weeks with an AI-driven SEO workflow.
Satellite-imagery pipeline at Citeos (VINCI): streetlight audits cut from a month of field work to hours.

Competitive Programming

ICPC · Prologin

Algorithms as a sport: I train, I compete, and I set problems for others to solve.

2nd in France, 40th of 53 at the ICPC European Championship 2026, Warsaw.
3rd in France at SWERC 2025 — qualified again for SWERC 2026 this December.
Four-time Prologin finalist; 1st of 2,000+ at Match’Up 2022, then problem-setter for two editions.

02. Selected Work

Projects

Featured · Systems

C-Compiler

A compiler for a significant subset of C (types, pointers, arrays, control flow, functions, implicit conversions), developed with a team of 6 for INSA Lyon's PLD-Comp project. Source code is parsed with an ANTLR4 grammar, lowered to a custom 3-address intermediate representation built on control-flow graphs and basic blocks, run through 7 IR-level optimization passes (constant propagation, dead-code elimination, register promotion, copy-chain collapsing), and emitted as x86-64 or ARM64 assembly. Correctness is validated by an automated test suite comparing behavior against GCC across 20 test categories.

Open Source C++20ANTLR4Compilers

Featured · Systems

Fuzzing Infrastructure

A personal fuzzing infrastructure built on a local Docker ClusterFuzz (no GCP), with LLM agents doing smart, targeted and efficient testing — they often detect issues deeply embedded within the code. A self-hosted GitHub App fuzzes pull requests and posts the reports automatically.

Open Source PythonDockerLLM AgentsFuzzing

Featured · Full-stack

OpenTrade

OpenTrade is a Python platform for developing and evaluating data-driven trading strategies, designed so non-technical users can easily experiment with automated trading. It integrates news sentiment analysis and LightGBM models for multi-horizon price prediction, on top of a realistic intraday backtesting engine that models slippage and commissions. About 15 strategies are implemented across technical indicators, machine learning, reinforcement learning, and news sentiment on various horizons, with results explored through interactive OHLC charts with confidence bands.

Open Source PythonLightGBMML

And many more side projects

View all on GitHub ↗

03. Track Record

Experience

May 2026 - Jan 2027 Professional

Chief Technology Officer

Buddimm - Real-estate consulting (~10 people)

Joined as an intern, then hired as CTO. Own the full technical stack: public website, internal tools, and the lead-generation pipeline.
- Lead AI tooling: Claude for Teams company-wide, a custom company MCP for internal tools and data, and ~20 skills based on internal processes
- Built a LangChain + LangSmith testing pipeline benchmarking 10 models on real-usage scenarios, delivering insights on stability, performance and cost
- Train the team on effective AI usage. Some tasks now run up to 8 times faster
- Maintain the public website and its SEO, growing traffic from ~200 to ~2,000 visits in two weeks
Web DevelopmentAI AutomationClaudeMCPLangChainSEO
September 2026 - Present Professional

Freelance AI Engineer

Citeos Guyane (VINCI Energies) - Public-lighting audit by imagery + AI

Replacing manual streetlight audits with an AI pipeline over satellite imagery.
- Lamppost detection and streetlight-level analysis from satellite imagery using multiple image-processing AI models
- 7-step data cleaning and processing pipeline that generates a full audit report end to end
- Custom large-scale street data collection tool, efficient even in rural areas
- Cut the audit from a month of field work per city to a few hours of desk work
PythonComputer VisionSatellite ImageryAutomation
January 2026 - April 2026 Professional

Freelance Software Engineer

BOBST - ST-to-C++ toolchain for a production optimizer

Reimplemented a 25,000-line industrial optimizer written in CODESYS Structured Text, without access to its proprietary compiler or a runnable source of truth.
- Built an ST-to-C++ compilation pipeline: source extraction, syntax rewrites, C++17 codegen, and a runtime harness
- Extended the optimizer so it derived configuration values instead of taking them as manual inputs, considerably speeding up the sale process
C++17CODESYS STCompilersIndustrial Automation
January 2026 Professional

Cybersecurity Consultant

Profundum AI

Security assessment of a live AI SaaS platform.
- Produced a full security audit of an AI chatbot web platform
- Identified multiple severe issues, notably in the subscription system
- Performed a second audit on security and good practices for the LLM chat pipeline: prompt injection, tool abuse, and data integrity
Application SecurityLLM SecurityTechnical Writing
2020 - 2026 Competition

Competitive Programming

ICPC, Prologin, Match'Up & more

Competing in international and national computer science contests.
- ICPC European Championship 2026 (Warsaw): 2nd in France, 40th of 53
- ICPC SWERC 2025: 3rd in France, 18th of 142. Qualified to compete again in December 2026
- Prologin: 4-time finalist (2022 - 2025)
- Castor Informatique 2020: 1st of 500,000+
- Match'Up 2022: 1st of 2,000+. Problem setter for the last two editions
Algorithm DesignC/C++PythonProblem Solving
Summer 2025 Research

Research Intern - Behavioral Changes Induced by Virtual Reality

Suwa University of Science, Nagano, Japan

Research internship studying behavioral changes in immersive virtual reality.
- Designed and ran Unity-based VR experiments
- Analyzed participant data to study behavioral changes in immersive environments
VR DevelopmentUnityData Analysis
April 2024 Research

Research Intern - CAD and Fabrication of Carbon Fiber Aircraft

Northwestern Polytechnical University, Xi'an, China

Research internship on computer-aided design and fabrication of carbon fiber aircraft structures.
- Used computer tools for designing and manufacturing carbon fiber-reinforced composite laminated aircraft
- Studied CAD and fabrication techniques for composite materials in aerospace
CADComposite MaterialsCarbon FiberAerospace Engineering
Fall 2026 Education

Exchange Semester

Lehigh University, Bethlehem, PA

Exchange semester while completing the INSA Lyon computer science engineering degree.
- Spending fall 2026 at Lehigh University in Bethlehem, Pennsylvania
Computer Science
2022 - 2027 Education

Engineering Degree in Computer Science

INSA Lyon

Diplôme d'ingénieur, GPA 3.9/4.0, graduating June 2027. Specialized in algorithms, machine learning, and agentic AI.
- Five-year engineering curriculum in the Informatique department at one of France's leading public grandes écoles
- Coursework and projects across algorithms, systems, software, and AI, with industry internships growing in scope each year
AlgorithmsMachine LearningAgentic AIC++
2023 - 2025 Leadership

Student Associations

INSA Lyon

Leadership roles in computer science student associations at INSA Lyon.
- President of the Algorithmics Club (INSAlgo, 2025)
- Vice-President of the CS students association (AEDI, 2025)
- Treasurer of INSAlgo (2024) and ADT (2023)
LeadershipEvent OrganizationTeam Coordination