Information for:

Resources

Paul Attie

Professor

Paul Attie

Professor

Academic Appointment(s)

School of Computer and Cyber Sciences
Department of Computer Science

Administration
Department of The Graduate School

Bio

Paul Attie is a Professor of Computer and Cybersciences Sciences at Augusta University.
He received his Ph.D. in Computer Science from the University of Texas at Austin in 1995.

  • PATTIE@augusta.edu
  • (706) 721-0949
  • RV 2802

Education

  • Ph.D., Computer Science University of Texas - Austin, 1995

Courses Taught Most Recent Academic Year

  • CSCI 8940

    Dissertation Research

  • CSCI 8510

    Independent Study: Independent Studies

  • CSCI 1302

    Principles of Comp Program II

  • CSCI 4100

    Algorithms

  • CSCI 8320

    Verification of Software

Teaching Interests

Software engineering, formal methods,
algorithms, distributed computing,
programming, theory of computation

Scholarship

Selected Recent Publications

  • Model and Program Repair via Group Actions and Structure Unwinding, 2025
    Journal Article, Academic Journal
  • Model and Program Repair via Group Actions, 2023
    Book, Chapter in Scholarly Book-New
  • Operational Annotations, 2022
    Book, Chapter in Scholarly Book-New
  • Model and Program Repair via SAT Solving, 2018
    Journal Article, Academic Journal
  • Global and Local Deadlock Freedom in BIP, 2017
    Journal Article, Academic Journal

Research Interests

software engineering, formal methods, and
distributed computing.

Department Service

  • Tenure and promotion committee 2021 - Present

    Role: Committee Member

  • Ad hoc committee addressing comp org, low-level programming, and OS 2021 - Present

    Role: Committee Member

  • Graduate curriculum committee 2020 - Present

    Role: Committee Member

  • Ph.D. committee 2020 - Present

    Role: Committee Member

  • Tenure and promotion committee 2020 - 2021

    Role: Committee Chair

University Service

  • Augusta University Faculty Senate 2020 - Present

    Role: University Senate Service

  • Information Technology Resources 2020 - Present

    Role: Committee Chair

  • Pamplin Dean Search Comittee 2020 - Present

    Role: Committee Member

Professional Service

  • Sorbonne University 2022 - Present

    Role: Committee Member

  • ACM Symposium on Principles of Distributed Computing 2022 - Present

    Role: Reviewer, Conference Paper

  • Reviewer of PhD thesis of Mouhammad Sakr at the University of Saarland 2021 - 2021

    Role: Reviewer