Patricia
Johann
|
Contact Information:
Department of Computer Science
Belk Hall 312M
Appalachian State University
Boone, NC 28608
USA
phone: (828) 262 7008
email: johannp *at* appstate.edu
|
[BIO] | [PUBLICATIONS] |
[TEACHING]
| [BOOK] | [GRANTS]
I am a (Full) Professor in the
Computer Science Department
at Appalachian State University
in Boone, NC, where I do research and teach a variety of computer
science courses. I am spending most of a leave of absence in AY 2021-2022
visiting
the Logic and
Semantics Group at the
Computer Science Department at
Aarhus University in
Denmark. Before coming to Appalachian State University, I was a Reader
(US equivalent: Professor) of Computer Science in the
Mathematically Structured Programming
group in the
Department of
Computer and Information Sciences at the University of Strathclyde in
Glasgow,
Scotland. While there
I spent part of a sabbatical in 2012 at the
Department of Computer Science
and Engineering at Chalmers University
in Gothenburg, Sweden.
(Bio continues here.)
Links to references and slides for
OPLSS'21 course.
Material for OPLSS '16.
Current professional activities:
- Program committee member for LICS 2025.
- Member-at-large on steering committee of TyDE.
Recent professional activities:
My research is supported by NSF
awards
2203217
and 1906388.
Additional
research support has been provided
by these
grants.
Postdoctoral Researchers:
-
Thanks to the NSF, Dr. Ed Morehouse is a postdoc with me starting 3 September 2024.
-
Thanks to the NSF,
Dr. Pierre Cagne was a postdoc with me from 1 March 2022 to 31 July 2025. Weworked together on semantics of term- and type-indexed data types, particularly of GADTs. We also worked together on this topic
during our 6-month research visit
to Aarhus University from 1
August 2021 to 31 January 2022. Pierre is now an assistant professor at Appalachian State University.
-
Thanks to the NSF,
Dr. Enrico Ghiorzi was a postdoc with me from 7 October 2019 to 30
June 2021. We worked together on parametricity for advanced data
types. He is now a postdoctoral researcher at Instituto Italiano di
Tecnologia.
-
Thanks to the NSF and Appalachian State University,
Dr. Andrew
Polonsky was a postdoc with me from 7 January 2018 to 31 July
2019. We worked together on locally presentable categories and on
syntax and semantics of GADTs. He is now an assistant professor at
Appalachian State University.
-
Thanks to the NSF and Appalachian State University,
Dr. Kristina Sojakova
was a postdoc with me from 6 June 2016 to 5 December 2017. We worked
together on higher-dimensional parametricity. She is now a researcher
at INRIA.
-
Thanks to the NSF and Appalachian State University,
Dr. Clément Aubert was
a postdoc with me from 1 October 2015 to 31 July 2017. We worked
together on fibrational models of parametricity for effects. He is now
an assistant professor at Augusta University.
PhD Students:
-
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.
-
Clément
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.
Master's Students:
Daniel
Jeffries successfully defended his Master's thesis entitled Towards
Formalizing Parametricity for Nested Types in Agda on 30 June
2021.
Undergraduate Research Students:
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).