»Æ¹Ï¶ÌÊÓƵ

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 »Æ¹Ï¶ÌÊÓƵ School

Bio

Paul Attie is a Professor of Computer and Cybersciences Sciences at »Æ¹Ï¶ÌÊÓƵ.
He received his Ph.D. in Computer Science from the University of Texas at Austin in 1995.

  • (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 4100

    Algorithms

  • CSCI 8320

    Verification of Software

  • CSCI 3271

    Operating System

  • CSCI 7950

    Selected Topics

  • CSCI 7130

    Software Engineering

Teaching Interests

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

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

  • »Æ¹Ï¶ÌÊÓƵ 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

  • Information Technology Resources 2020 - Present

    Role: Committee Chair

  • Pamplin Dean Search Comittee 2020 - Present

    Role: Committee Member

Professional Service

  • 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