Darryl is a syntactician, occasional semanticist, and type theorist with an interest in artificial intelligence. He also really likes pizza and Babylon 5. You can find him on Twitter as @psygnisfive and on freenode as augur.
Jon Sterling (advisor)
Jon is a software engineer, dilettante type theorist, syntactician, and philologist, as well as student of Ancient Greek, Sumerian, Hittite, Akkadian, Latin, Old English and German. He cohosts the Type Theory Podcast, and looks a lot like Jude Law. You can find him on Twitter as @jonsterling.