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. (Bio continues here.)

Material for OPLSS 2016 is here.

Current professional activities:

Recent professional activities:

My research is supported by NSF award 1420175. Starting in September, it will be supported by NSF award 1713389 as well. 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 (taken over by my coapplicant when I moved back to the US). Additional research support has been provided by these grants.

I have active an collaboration with Alex Simpson on the operational sematics of effects, and previously worked with Katya Komendantskaya on structural resolution-based semantics of coinductive logic programming.

I spent part of a sabbatical in 2012 at the Department of Computer Science and Engineering at Chalmers University in Gothenburg, Sweden.

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: