Computer & Cyber Sciences

Phone706-721-1110
Emailccs@augusta.edu
Websitehttps://www.augusta.edu/ccs/phd-ccs

Ahmed Aleroud
- aaleroudaugustaedu
- Computer & Cyber Sciences
Person: nonacademic
Abdullah Al-Mamun
- aalmamunaugustaedu
- Computer & Cyber Sciences
Person: Academic
20242024
Kamal Hasan Al Nasr
- kalnasraugustaedu
- Computer & Cyber Sciences
- The Graduate School
Person: nonacademic

CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
Bao, Y.
National Science Foundation
5/1/24 → 4/30/26
Project: Research project
CRII: CSR: Enhancing Eventual Data Consistency in Multidimensional Scientific Computing through Lightweight In-Memory Distributed Ledger System.
Al-Mamun, A.
National Science Foundation
4/1/24 → 3/31/26
Project: Research project
CRII: CNS: An Experimental Infrastructure to Reduce Latency Long-tail in Real-time Stream Processing
Zhang, S.
National Science Foundation
4/1/23 → 3/31/25
Project: Research project