Hi! I’m currently a PhD student in the Circuits and Systems group at Imperial College London, supervised by John Wickerson.

My research focuses on formalising the process of converting high-level programming language descriptions to correct hardware that is functionally equivalent to the input. This process is called high-level synthesis (HLS), and allows software to be turned into custom accelerators automatically, which can then be placed on field-programmable gate arrays (FPGAs). An implementation in the Coq theorem prover called Vericert can be found on Github.

I have also worked on random testing for FPGA synthesis tools. Verismith is a fuzzer that will randomly generate a Verilog design, pass it to the synthesis tool, and use an equivalence check to compare the output to the input. If these differ, the design is automatically reduced until the bug is located.



Personal blog and website.


My personal dotfiles.


A formally verified high-level synthesis tool based on CompCert and written in Coq.


Simple zettelkasten mode for emacs.


An implementation of the Calculus of Construction.


ee4d2fd Shorten the name of book

5 days ago via yannherklotz.com

60d78bb Update the reference

8 days ago via yannherklotz.com

00118cf Add CPP'23 paper

8 days ago via yannherklotz.com

f52aa8e Remove rofi/config

10 days ago via dotfiles

5c5f0b3 Also make macos GNU Stow compatible

10 days ago via dotfiles

e0b20ae Fix services, desktop and bspwm

10 days ago via dotfiles

2e6d471 Remove alias to exa in fish shell

11 days ago via dotfiles

d9028e1 Add fish config

12 days ago via dotfiles

a8c1961 Prove top level theorems with evaluability

15 days ago via vericert

4dd1a6c Add CAS talk to news

19 days ago via yannherklotz.com

849522b Add twitter archive

19 days ago via yannherklotz.com

49828ab Add proofs about evaluability of predicates

20 days ago via vericert

ffd6779 Update mastodon link

20 days ago via yannherklotz.com

eeb3388 Add more books to the reading list

22 days ago via yannherklotz.com

e876c22 Add books

22 days ago via yannherklotz.com
1 / 22