Programming languages professor, kernel hacker, aspiring linguist (syntax & compositional semantics).
Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.

| pronouns | he/him, er/ihn |
| languages | english (native), deutsch (~B2, Ich spreche ein bisschen Deutsch, aber nicht genug für alles zu benutzen), français (<A1, je parle seulement un peut le français), linguae latinae (relearning bit-rotted ~B1) |
| alts | @csgordon and @csgordon |
| homepage | https://csgordon.github.io/ |





