School of Computer and Cyber Sciences

Phone706-721-1110
Email[email protected]
Websitehttps://www.augusta.edu/ccs/

Arman Adibi
- aadibiaugustaedu
- Computer & Cyber Sciences
- AI in Research and Education (AIRE)
Person: Academic
20192026
Ahmed Aleroud
- aaleroudaugustaedu
- Computer & Cyber Sciences
Person: Academic
20112026
Abdullah Al-Mamun
- aalmamunaugustaedu
Person: Academic
20182026

14 Active
20 Finished

Collaborative Research: AF: Medium: The Communication Cost of Distributed Computation
Robinson, P. (PI)
National Science Foundation
7/1/24 → 6/30/28
Project: Research project
CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
Bao, Y. (PI)
National Science Foundation
5/1/24 → 4/30/27
Project: Research project
CRII: CSR: Enhancing Eventual Data Consistency in Multidimensional Scientific Computing through Lightweight In-Memory Distributed Ledger System.
Al-Mamun, A. (PI)
National Science Foundation
4/1/24 → 3/31/27
Project: Research project

492 Conference contribution
344 Article
181 Paper
27 Conference article
More

Comparative analysis of organizational and leadership success factors associated with fast-growing biomedical research
Balas, E. A., Abdelgawad, Y. H., Aubert, C. & Townsend, T., Dec 2026, In: Scientific reports. 16, 1, 8662.
Research output: Contribution to journal › Article › peer-review

Open Access
Survey of uncertainty estimation in LLMs - Sources, methods, applications, and challenges
He, J., Yu, L., Li, C., Yang, R., Chen, F., Li, K., Zhang, M., Lei, S., Zhang, X., Beigi, M., Ding, K., Xiao, B., Huang, L., Chen, F., Jin, M. & Lu, C.-T., Jun 1 2026, In: Information Fusion. 130, p. 104057
Research output: Contribution to journal › Article › peer-review
Unlinkability and history preserving bisimilarity
Aubert, C., Horne, R., Johansen, C. & Mauw, S., Jun 2026, In: Computers and Security. 165, 104819.
Research output: Contribution to journal › Article › peer-review

Open Access

pymwp: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Mar 5 2025
DOI: 10.5281/zenodo.14969303, https://zenodo.org/records/14969303
Dataset
pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Oct 13 2022
DOI: 10.5281/zenodo.7159134, https://zenodo.org/records/7159134
Dataset
Distributing and Parallelizing Non-canonical Loops -- Artifact
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Sep 14 2022
DOI: 10.5281/zenodo.7080145, https://zenodo.org/records/7080145
Dataset

ACM SIGSOFT Distinguished Paper Award
He, S. (Recipient), Aug 30 2019
Prize: Prize (including medals and awards)