Skip to main content

Appalachian Today

News and events at Appalachian State University
  • Subscribe
  • For the media
  • Contact
  • Events
  • Webcams
  • Podcasts
  • In the News
  • Research & Arts
  • Awards
  • Experts
  • All News
  • Topics
  • Accolades
  • Alumni
  • Arts and Humanities
  • Athletics
  • Awards and Honors
  • Community Engagement
  • Diversity
  • Events
  • Faculty and Staff
  • Gifts and Grants
  • Global
  • Health and Wellness
  • Publications
  • Research and Creative Works
  • Safety
  • Scholarships
  • Students
  • Sustainability
☰ Menu
  • Events
  • Webcams
  • Podcasts
  • In the News
  • Research & Arts
  • Awards
  • Experts
  • All News
  • Topics
  • Subscribe
  • For the media
  • Contact

All in the logic

App State’s Dr. Patricia Johann researches logics used in software programming

View larger image

Dr. Patricia Johann, professor in Appalachian State University’s Department of Computer Science, was awarded a $510,823 grant from the National Science Foundation to study the logical foundations of computer science. Photo submitted

By Jan Todd
Posted Sep. 16, 2021 at 3:39 p.m.

BOONE, N.C. — Dr. Patricia Johann was awarded a $510,823 grant from the National Science Foundation (NSF) to study the logical foundations of computer science.

Johann, a professor in Appalachian State University’s Department of Computer Science, said her work will enhance verification of computer software — ensuring the programs are correct, secure and reliable.

“Computer software can be tested 37 different ways, for example, but you might miss the 38th thing that goes wrong. You can never really test enough — whether you test it 37 different ways, or 37,000,” she said.

An alternative, Johann said, is to actually prove the program is correct. “Over time, logics that underlie computing have become able to encode more and more of their own properties. In such logics, a program that can be compiled and run is guaranteed to do what it is intended to do,” she said.

Johann is currently on research leave, working with the Logic and Semantics Group at Aarhus University in Denmark. There, she is researching and developing new models and logics for programming languages. Her work may be used by computer programmers to build software that can be automatically verified.

Since she joined App State’s faculty in 2013, Johann has secured more than $1.4 million in NSF grants to fund her research. Graduate students from App State as well as postdoctoral researchers have been supported by her grants.

What do you think?

Share your feedback on this story.

Department of Computer Science
Department of Computer Science

Appalachian’s Department of Computer Science provides a rigorous, high-quality education that prepares students for the computing industry or graduate education. It offers a Bachelor of Science degree in computer science, which is accredited by the Computing Accreditation Commission of ABET, and a Master of Science degree in computer science.

Learn more
NSF grant supports indexing programming project at Appalachian
NSF grant supports indexing programming project at Appalachian
Feb. 16, 2018

Appalachian professor Patricia Johann in the university’s computer science department has received funding from the National Science Foundation for her project exploring new foundations in indexed programming.

Read the story

About the Department of Computer Science

Appalachian’s Department of Computer Science provides a rigorous, high-quality education that prepares students for the computing industry or graduate education. It offers a Bachelor of Science degree in computer science, which is accredited by the Computing Accreditation Commission of ABET, and a Master of Science degree in computer science. Learn more at https://compsci.appstate.edu.

About the College of Arts and Sciences

The College of Arts and Sciences (CAS) at Appalachian State University is home to 17 academic departments, two centers and one residential college. These units span the humanities and the social, mathematical and natural sciences. CAS aims to develop a distinctive identity built upon our university's strengths, traditions and locations. The college’s values lie not only in service to the university and local community, but through inspiring, training, educating and sustaining the development of its students as global citizens. More than 6,800 student majors are enrolled in the college. As the college is also largely responsible for implementing App State’s general education curriculum, it is heavily involved in the education of all students at the university, including those pursuing majors in other colleges. Learn more at https://cas.appstate.edu.

About Appalachian State University

As a premier public institution, Appalachian State University prepares students to lead purposeful lives. App State is one of 17 campuses in the University of North Carolina System, with a national reputation for innovative teaching and opening access to a high-quality, affordable education for all. The university enrolls more than 21,000 students, has a low student-to-faculty ratio and offers more than 150 undergraduate and 80 graduate majors at its Boone and Hickory campuses and through App State Online. Learn more at https://www.appstate.edu.

Department of Computer Science
Department of Computer Science

Appalachian’s Department of Computer Science provides a rigorous, high-quality education that prepares students for the computing industry or graduate education. It offers a Bachelor of Science degree in computer science, which is accredited by the Computing Accreditation Commission of ABET, and a Master of Science degree in computer science.

Learn more
NSF grant supports indexing programming project at Appalachian
NSF grant supports indexing programming project at Appalachian
Feb. 16, 2018

Appalachian professor Patricia Johann in the university’s computer science department has received funding from the National Science Foundation for her project exploring new foundations in indexed programming.

Read the story

Share

Topics

  • Faculty and Staff
  • Gifts and Grants
  • Research and Creative Works

What do you think?

Share your feedback on this story.

Archives

Appalachian Today is an online publication of Appalachian State University. This website consolidates university news, feature stories, events, photo galleries, videos and podcasts.

If you cannot find what you're looking for here, please refer to the following sources:

  • Podcasts may be found at Appalachian State University Podcasts
  • Stories and press releases published prior to Jan. 1, 2015 may be found in University Communications Records at the Special Collections Research Center.
  • A university-wide Google Calendar may be found at Events at Appalachian

Share

Topics

  • Faculty and Staff
  • Gifts and Grants
  • Research and Creative Works

Other Recent Posts

  • 4 new and reappointed App State Board of Trustees members to begin new terms July 1
    4 new and reappointed App State Board of Trustees members to begin new terms July 1
  • App State awards degrees to over 4,200 graduates ready to shape the future
    App State awards degrees to over 4,200 graduates ready to shape the future
  • Student research and creative projects spotlighted at App State’s annual showcase
    Student research and creative projects spotlighted at App State’s annual showcase
  • Will Sears appointed vice chancellor of university advancement at App State
    Will Sears appointed vice chancellor of university advancement at App State
  • N.C. Governor Josh Stein to address graduates at App State commencement
    N.C. Governor Josh Stein to address graduates at App State commencement
  • App State honors 29 students, faculty and staff with 2025 Awards of Distinction
    App State honors 29 students, faculty and staff with 2025 Awards of Distinction
  • App State to offer AI concentration in master’s programs [faculty featured]
    App State to offer AI concentration in master’s programs [faculty featured]
    WFDD
  • Campus emergency siren test to be conducted May 7
    Campus emergency siren test to be conducted May 7
  • App State students help restore national wildlife refuge as part of Alternative Service Experience
    App State students help restore national wildlife refuge as part of Alternative Service Experience
  • Dr. Neva J. Specht appointed App State executive vice chancellor and provost
    Dr. Neva J. Specht appointed App State executive vice chancellor and provost
  • $2 million grant funds scholarships, supports STEM education for over 50 App State students
    $2 million grant funds scholarships, supports STEM education for over 50 App State students
  • App State named Military Friendly School for 16th consecutive year, ranked a top 10 institution for 2025–26
    App State named Military Friendly School for 16th consecutive year, ranked a top 10 institution for 2025–26

Archives

Appalachian Today is an online publication of Appalachian State University. This website consolidates university news, feature stories, events, photo galleries, videos and podcasts.

If you cannot find what you're looking for here, please refer to the following sources:

  • Podcasts may be found at Appalachian State University Podcasts
  • Stories and press releases published prior to Jan. 1, 2015 may be found in University Communications Records at the Special Collections Research Center.
  • A university-wide Google Calendar may be found at Events at Appalachian
  • Events
  • Videos
  • Galleries
  • In the News
  • Research & Arts
  • Awards
  • Experts
  • All News
  • Topics
  • Subscribe
  • For the media
  • COVID updates
  • Contact

App State

Copyright 2025 Appalachian State University. All rights reserved.

University Communications
ASU Box 32153
Boone, NC 28608
828-262-6156
[email protected]

Abouts

Disclaimer | EO Policy | Accessibility | Website manager: montaldipa (beltmr) .. | Website Feedback

Facebook Twitter YouTube Instagram LinkedIn Snapchat