Johan Georg Granström is a senior software engineer at Google Zürich, where he has contributed to several public launches and submitted ten patent applications, since joining Google in 2011.
He is the inventor and author of the intuitionistic programming language (intuitionistic.org), based on Per Martin-Löf’s intuitionistic type theory. Per Martin-Löf 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 internally at Google and for external conference and journal publications.
Links, facts, and trivia.
- Book: Treatise on Intuitionistic Type Theory.
- Mathematics Genealogy.
- Curriculum Vitae.
- Doctoral thesis: Reference and Computation in Intuitionistic Type Theory.
- Erdös number ≤ 5, through Peter Aczel with Erdös number 4.