About the author

Johan Georg Granström is a senior software engineer at Google Zürich since 2011. He is the inventor and author of the intuitionistic programming language, based on Per Martin-Löf's intuitionistic type theory. Per Martin-Löf's also supervised Johan's PhD thesis, subsequently published by Springer under the title “Treatise on Intuitionistic Type Theory”.

Johan is an active member of the academy: he has published several books and scientific papers; he is a reviewer for Zentralblatt MATH; he has delivered dozens of public lectures; and he is frequently consulted as a referee, both at Google and for conference and journal publications.

Get in touch

Email: georg.granstrom@acm.org

On the web