Robin Adams

I am a Docent in the Logic and Types unit in the department of Computer Science and Engineering at Chalmers University of Technology and University of Gothenburg in Göteborg, Sweden.

I have been fascinated by logic since discovering the puzzle books of Raymond Smullyan at an early age. In particular the Curry-Howard Isomorphism - the fact that the same language (a type theory) can be used as both a programming language and a system of logic. Thus programs and proofs are in some sense the same thing - but why this is the case, I do not believe is yet well understood philosophically.

Since then I have become interested in how theoretical physics gives yet another interpretation of type theory (see the wonderful Rosetta stone paper by John Baez and Michael Stay for an introduction to this fact).

I am currently working on finding ways to apply type theory to quantum computing, both as a way to apply this idea, and in the hope that it will reveal more clues about the reason behind this remarkable isomorphism.