Yann Herklotz
Postdoctoral Researcher at EPFL
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolYann Herklotz is a postdoctoral researcher at EPFL's Verification and Computer Architecture lab with nine years' experience bridging formal methods, compilers, and hardware design. He completed a PhD in Circuits and Systems at Imperial College, where he focused on formally verified high-level synthesis and built Vericert in Coq to prove software-to-hardware translations correct. Yann has practical industry experience validating FPGA toolchains and synthesis tools—creating Verismith, a fuzzer that isolates synthesis bugs—and has interned on formal verification and GPU driver teams at Amazon and Arm. He also contributed technical writing to the well-known raytracing.github.io project, improving mathematical notation in online texts, reflecting a habit of making complex ideas precise and accessible.
9 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD Circuits and Systems, Doctor of Philosophy - PhD Circuits and Systems at Imperial College LondonHigh School International Baccalaureat, High School International Baccalaureat at International Bilingual School of Provence
English, German, French
Stackoverflow
1reputation
29reached
0answers
1question
Github Skills (5)
textbook10
raytracing10
docbook10
storybook10
documentation10
Programming languages (16)
Github contributions (5)
RayTracing/raytracing.github.io
Aug 2021 - Aug 2021
Main Web Site (Online Books)
Role in this project:
Technical Writer
Technical WriterContributions:5 commits, 1 PR, 1 comment in 1 day
Contributions summary:Yann primarily contributed to the documentation of the raytracing project. Their work involved modifying and updating existing documentation files, specifically focusing on mathematical notations within the online books. The edits included adding and correcting mathematical formatting, such as using `\mathit` and `\textit` consistently. Additionally, the user updated the acknowledgments section of the documentation.
online-booksweb-siteray-tracingmarkdeepraytracing
LangProc/langproc-2021-lab
Jan 2022 - Feb 2022
Contributions:13 commits, 1 PR, 16 pushes in 23 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.