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