Journal of Software (JSW, ISSN 1796-217X)
Copyright @ 2006-2013 by ACADEMY PUBLISHER – All rights reserved.
Johan Georg Granström
Google
Switzerland
Johan G. Granström (1977) holds an Uppsala doctorate in mathematical logic (2009). He had the privilege of having Em. Prof. Per Martin-Löf, the father of dependent types, as doctoral supervisor (2003-2009), along with Prof. Erik Palmgren, a renowned expert in constructive mathematics.
Dr. Granström has been a short-term research fellow at Ludwig-Maximilians-Universität München (2006-2007) and a research associate in formal methods for MDA at King’s College London (2009). Before entering into doctoral studies he was employed in the computer industry as systems developer, consultant, and software architect (1998-2003). He went back to the industry to work as Systems and Solutions Architect for Svea Ekonomi, Sweden (2010-2011). As of 2 May 2011, he works for Google Zürich as Software Engineer.
The PDF file you selected should load here if your Web browser has a PDF reader plug-in installed (for example, a recent version of Adobe Acrobat Reader).
Alternatively, you can also download the PDF file directly to your computer, from where it can be opened using a PDF reader. To download the PDF, click the Download link below.
If you would like more information about how to print, save, and work with PDFs, Highwire Press provides a helpful Frequently Asked Questions about PDFs.
Journal of Software (JSW, ISSN 1796-217X)
Copyright @ 2006-2013 by ACADEMY PUBLISHER – All rights reserved.