معرفی
Paul Attie is a Professor of Computer and Cybersciences Sciences at Augusta University's School of Computer and Cyber Sciences, Department of Computer Science. He holds a PhD in Computer Science from the University of Texas at Austin (1995). His research focuses on software engineering, formal methods, distributed computing, algorithms, and theory of computation.
Education: PhD in Computer Science from University of Texas at Austin (1995).
Research Interests:
- Software Engineering: Focuses on program repair, formal verification, and correctness.
- Formal Methods: Develops frameworks for specification construction and automated reasoning using SMT solvers.
- Distributed Computing: Explores deadlock-free systems, choreographies, and scalable implementations.
- Algorithms: Investigates succinct representation of concurrent programs and SAT-based repair techniques.
Teaching: Recently taught courses like CSCI 8940 (Dissertation Research), CSCI 4100 (Algorithms), and CSCI 8320 (Verification of Software).
Service & Leadership:
- Committee Member: Tenure and Promotion Committee (2021–Present)
- Chair: Pamplin Dean Search Committee (2020–Present)
- Reviewer: ACM Symposium on Principles of Distributed Computing (2022–Present)
His work bridges theoretical foundations with practical applications in distributed systems and formal verification.
