Personal site: https://timothymou.com/.
Stuff I'm currently into:
- Proof assistants
- Program synthesis
- Formal verification
- Kleene algebras/KATs
- Programming contests
- Managing my entire life with org-mode
Right now, I'm preparing for the ICPC World Finals in Egypt.