Tetrazero

Hi, I'm

William Michaud.

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.

#2

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

500K+

Won 1st place against 500k+ participants, Castor Informatique (national high school CS contest)

4×

Prologin finalist - 2022, 2023, 2024, 2025

33

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

01

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 ↗
01.1

Competitive Programming

2nd in France and 40th of 53 at the 2026 ICPC European Championship in Warsaw. At SWERC 2025, 3rd in France and 18th of 142. Four-time Prologin finalist, and 1st of 2,000+ at Match’Up 2022, where I also set problems for the last two editions.

01.2

Background

Computer science engineering student at INSA Lyon, GPA 3.9/4.0, graduating June 2027, specialized in algorithms, machine learning, and agentic AI. Exchange semester at Lehigh University, Fall 2026. I served as president of INSAlgo and vice-president of AEDI. CTO at Buddimm through January 2027; earlier work includes a security assessment at Profundum AI and an ST-to-C++ toolchain at BOBST.

01.3

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.

03

03. Track Record

Experience

  1. 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
    • Train the team on effective AI usage. Some tasks now run up to 8 times faster
    • Maintain the public website and its SEO, which increased traffic by nearly 10x in two weeks
    Web DevelopmentAI AutomationClaudeMCPSEO
  2. 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
  3. 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
  4. 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
    • 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
  5. 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
  6. 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
  7. 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
  8. 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++
  9. 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
04

04. Toolbox

Skills

04.1

Languages

  • Python
  • C++
  • TypeScript
  • JavaScript
  • Prolog
  • C#
  • Java
  • Kotlin
  • Rust
  • Swift
  • Ruby
  • PHP
  • HTML
  • CSS
  • TeX
04.2

Frameworks & Runtimes

  • React
  • Astro
  • Svelte
  • Tailwind
  • Node.js
  • Sequelize
  • Qt
  • Unity
04.3

Tools & Platforms

  • Linux
  • Git
  • GitLab
  • Docker
  • PostgreSQL
  • Nginx
  • Apache
  • Conda
  • Jupyter
  • LangChain
  • NPM
  • MySQL
  • SQLite
  • Firebase
  • VS Code
  • Vim
  • Arduino
05

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
6-month internship starting January 2027

Open to opportunities

Download my resume.

One-page PDF - experience, skills, and contact details.

Download resume