https://alix.trieu.dev/
CS researcher working at the intersection of formal methods and security. Mostly interested in security issues at the software/hardware interface.
Alix Trieu
I'm using this in https://github.com/pl-deadlines/pl-deadlines.github.io