I work full-time as a Software Developer at Google Australia on the Chrome Accessibility team, in my spare time I have studied and worked on programming language theory, design, and implementation.
My study includes:
- Programming languages
- Type theory & Type systems
- Formal semantics
- Logic (sequent calculi, proof theory, rewrite rule systems, provability)
You can find me on github at https://github.com/chrisosaurus