Belk Hall 312M
Appalachian State University
Boone, NC 28608
phone: (828) 262 7008
email: johannp *at* appstate.edu
Material for OPLSS 2016 is here.
I spent part of a sabbatical in 2012 at the Department of Computer Science and Engineering at Chalmers University in Gothenburg, Sweden.
Current professional activities:
My research is supported by NSF award 1420175. It has also been supported in part by an ASU University Research Council grant. At Strathclyde my research was supported by EPSRC grant EP/KO23837/1. Additional research support has been provided by these grants.
Thanks to the NSF and Appalachian State University, Clément Aubert is working with me (and sometimes Fredrik Nordvall Forsberg) on fibrational models of parametricity from 1 October 2015 to 31 July 2017. Also thanks to the NSF, Kristina Sojakova is working with me from 6 June 2016 to 5 June 2017. She is investigating connections between parametricity and homotopy type theory.
I have active collaborations with Alex Simpson on operational sematics of effects, and with Katya Komendantskaya on structural resolution-based semantics of coinductive logic programming.
Federico Orsanigo began his PhD studies with me at Strathclyde in October 2012, but completed under the direction of Neil Ghani after I moved back to the US.
Clement Fumex began a PhD under my supervision at Strathclyde on 1 February 2009. He worked on fibrational approaches to induction. He successfully defended his dissertation on 1 June 2012, with Neil Ghani as second supervisor, Bart Jacobs as external examiner, and Conor McBride as internal examiner.
Past research students (at Rutgers):
Jon, Chris, and Drew won Dean's Undergraduate Research awards in 2005, 2006, and 2008, respectively, for their work on projects I have supervised (abstracts of Jon and Chris linked above).
Some links I find interesting and/or useful are: