My personal website
chore: add placeholder for signal in contact
Merge branch 'upstream' into dev
ci: display hugo version before build


browse  log 



You can also use your local clone with git send-email.


This repository contains my personal website. Its purpose is mostly to serve as an online resume. It also adds more detail and context regarding my research and ongoing projects. It also serves as a central repository for links to all my papers and presentations, my theses, the most important projects, etc.

Check it out here!


The website is built with the excellent HugoBlox theme for Hugo. The repository is hosted on the excellent SourceHut, which automatically builds the website and hosts the web pages.


  • The contents of the website are provided under the CC BY-NC-ND 4.0 license.
  • The images, photos and illustrations present on this website provided under the CC BY-SA 4.0 license, unless mentioned otherwise.
  • The code of the website is provided under the MIT.


Thanks to SourceHut's strict policy regarding third-party content, everything you see on this site is served directly from this domain. This website does not use cookies, nor logs anything regarding its users. As the website is hosted on SourceHut, their global privacy policy still applies.