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

Recent professional activities:

My research is supported by NSF awards 2203217 and 1906388. Additional research support has been provided by these grants.

Postdoctoral Researchers:

PhD Students:

Master's Students: