Formal Verification Engineer by profession. Computer enjoyer by hobby.
Interests include:
Formal verification
Formal languages
CPU design
Esoteric languages and computers
I sometimes make silly things and post YouTube vids about them