Jump to content

User:Chris James Hall

From Wikipedia, the free encyclopedia

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Chris_James_Hall&oldid=990737530"