User:Chris James Hall

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