Patricia Johann

Contact Information:
    Department of Computer Science
    Belk Hall 312M
    Appalachian State University
    Boone, NC 28608

    phone: (828) 262 7008
    email: johannp *at*


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. 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.)

Material for OPLSS 2016.
Technical report for LICS 2018 paper.
Slides for LICS presentation.

Current professional activities:

Recent professional activities:

My research is supported by NSF awards 1906388 and 1420175. At Appalachian, it has also been supported by NSF award 1713389 and an ASU University Research Council grant. At Strathclyde my research was supported by EPSRC grant EP/KO23837/1 (taken over by my coapplicant when I moved back to the US). Additional research support has been provided by these grants.

Postdoctoral Researchers:

PhD Students:

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).

Some links I find interesting and/or useful are: