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:

Recent professional activities:


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

Postdoctoral Researchers:

PhD Students:

Master's 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).