Skip to main content
Appalachian Today
News and events at Appalachian State University
  • For the media
  • COVID updates
  • Contact
  • Events
  • Webcams
  • Podcasts
  • In the Media
  • Grants
  • Speakers
  • All Posts
  • 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
  • Safety
  • Scholarships
  • Students
  • Sustainability
☰ Menu
  • Events
  • Webcams
  • Podcasts
  • In the Media
  • Grants
  • Speakers
  • All Posts
  • Topics
  • For the media
  • COVID updates
  • 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 unique location. 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,400 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 the premier public undergraduate institution in the Southeast, Appalachian State University prepares students to lead purposeful lives as global citizens who understand and engage their responsibilities in creating a sustainable future for all. The Appalachian Experience promotes a spirit of inclusion that brings people together in inspiring ways to acquire and create knowledge, to grow holistically, to act with passion and determination, and to embrace diversity and difference. Located in the Blue Ridge Mountains, Appalachian is one of 17 campuses in the University of North Carolina System. Appalachian enrolls nearly 21,000 students, has a low student-to-faculty ratio and offers more than 150 undergraduate and graduate majors.

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

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.

The migration of materials from other sites is still incomplete, so if you cannot find what you're looking for here, please refer to the following sources:

  • Additional feature stories may be found at Appalachian Magazine
  • Podcasts may be found at Appalachian Magazine
  • Photo galleries and videos published prior to Jan. 1, 2015 may be found at Appalachian Magazine
  • A university-wide Google Calendar may be found at Events at Appalachian

Share

Topics

  • Faculty and Staff
  • Gifts and Grants
  • Research

Other Recent Posts

  • Appalachian Journal marks 50 years of spotlighting Appalachia
    Appalachian Journal marks 50 years of spotlighting Appalachia
  • Honoring women’s leadership and history at App State
    Honoring women’s leadership and history at App State
  • Lumbee tribal flag now hangs in App State’s student union, honoring the Lumbee people and their history
    Lumbee tribal flag now hangs in App State’s student union, honoring the Lumbee people and their history
  • Since 1958, App State's Southern Appalachian plant collection has aided research, teaching and conservation
    Since 1958, App State's Southern Appalachian plant collection has aided research, teaching and conservation
  • <span style="color: #bc8801;">SoundAffect:</span> Daniel E. Dawes, JD on how to overcome deep-rooted challenges in the American health care system
    SoundAffect: Daniel E. Dawes, JD on how to overcome deep-rooted challenges in the American health care system
  • App State Office of Diversity brings monthly read-alouds to lab schools
    App State Office of Diversity brings monthly read-alouds to lab schools
  • 6 award-winning authors to visit App State for spring 2023 Hughlene Bostian Frank Visiting Writers Series
    6 award-winning authors to visit App State for spring 2023 Hughlene Bostian Frank Visiting Writers Series
  • Campus emergency siren test to be conducted <span style="white-space: nowrap;">March 1</span>
    Campus emergency siren test to be conducted March 1
  • App State’s Day of Service honors legacy of Dr. Martin Luther King Jr.
    App State’s Day of Service honors legacy of Dr. Martin Luther King Jr.
  • Mountain hares are built for snow. That may become a problem. [faculty featured]
    Mountain hares are built for snow. That may become a problem. [faculty featured]
    National Geographic
  • App State honored as a Top Producer of Fulbright scholars, students for 2022–23
    App State honored as a Top Producer of Fulbright scholars, students for 2022–23
  • These Colleges Produce a Lot of Fulbright Scholars. Here’s How.
    These Colleges Produce a Lot of Fulbright Scholars. Here’s How.
    The Chronicle of Higher Education

Archives

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

The migration of materials from other sites is still incomplete, so if you cannot find what you're looking for here, please refer to the following sources:

  • Additional feature stories may be found at Appalachian Magazine
  • Podcasts may be found at Appalachian Magazine
  • Photo galleries and videos published prior to Jan. 1, 2015 may be found at Appalachian Magazine
  • A university-wide Google Calendar may be found at Events at Appalachian
  • Events
  • Videos
  • Galleries
  • In the Media
  • Grants
  • Speakers
  • All Posts
  • Topics
  • For the media
  • COVID updates
  • Contact

App State

Copyright 2023 Appalachian State University. All rights reserved.

University Communications
ASU Box 32153
Boone, NC 28608
828-262-6156
ucomm@appstate.edu

Abouts

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

Facebook Twitter YouTube Instagram LinkedIn Snapchat