Gul A Agha

Research Professor and Professor Emeritus

UIUC

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Gul A Agha is currently serving as a Siebel School Of Computing And Data Science Research Professor and Professor Emeritus at Uiuc.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Gul A Agha

UIUC

Research Professor and Professor Emeritus

You can click a keyword to filter the displayed items

computer science systems engineering formal methods distributed systems programming languages computer engineering formal verification software engineering software analysis verification parallel computing parallel programming concurrent programming automated reasoning system software program analysis logic in computer science concurrent systems wireless sensor networks networked system design concurrency (computer science) sensors concurrency theory service computing system science high performance computer architecture probabilistic verification model checking data science system safety autonomous agent systems agent programming language wireless sensor systems runtime verification wireless communications reliability engineering formal specification agent-based system smart sensors sensor connectivity localization static program analysis real-time computing interaction protocol actor model computational optimization computational testing parallel programming models object-oriented programming embedded sensing real-time systems mobile agents multi-agent mechanism design symbolic execution action language parallel performance evaluation program checking real-time operation distributed object object-oriented design probabilistic system actor programs concurrent object-oriented programming middleware services statistical model checking damage detection alert preferences multithreaded programs time synchronization iltl properties large-scale parallelism unit testing c code memory graphs actor computation south korea concurrent programming languages distributed computing parallel software parallel processing distributed problem solving distributed processing large-scale multi-agent systems

Notable Scholarly Works

Notable Federal Grants

Collaborators

CRAVE: Analyzing Cross-Resource Interaction to Improve Energy Efficiency in Systems-On-Chip. (2025)

Dipayan MukherjeeSam HachemJeremy BaoCurtis MadsenTian MaSaugata GhoseGul Agha

energy efficiencycomputer sciencesystems engineeringenergy systemshigh performance computer architecturepower-aware designpower-efficient computingenergy managementpower-aware softwaredesign automationmicroarchitecturepower-aware computingparallel computingcomputer engineeringsystem softwarecomputer architecturesystem on chipcross-resource interaction

CRGC: Fault-Recovering Actor Garbage Collection in Pekko. Proceedings of the ACM on Programming Languages (2025)

Dan PlyukhinGul AghaFabrizio Montesi

formal methodscomputer scienceconcurrent programmingconcurrent systemssoftware analysisdistributed systemsfault tolerancesoftware maintenancegarbage collectionsimplest actor gcscomputer engineeringsystem softwareformal verificationfault-tolerant messagingsoftware engineeringsophisticated actor gcsactor gcsprogram analysis

A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. Lecture notes in computer science (2023)

YoungMin KwonEunhee KimGul Agha

systems engineeringmodel verificationnonlinear systemsdiscrete-time nonlinear systemsnonlinear analysismodel checkingformal verificationnonlinear dynamicsverificationapplied mathematicsformal methodsdynamical systems

Bounded Quantum Regular Language Generator. 2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (2023)

YoungMin KwonGul Agha

computer sciencequantum computingquantum mechanicsquantum automatoncustom algorithmquantum error correctionquantum information sciencelanguage containment problemquantum engineeringcomputer engineeringcryptographic hardwareformal verificationquantum algorithmsquantum scienceautomaton operationformal methods

Formal Verification of Safety-Critical Aerospace Systems. IEEE Aerospace and Electronic Systems Magazine (2023)

Saswata PaulElkin CruzAirin DuttaAnkita BhaumikErik BlaschGul AghaStacy PattersonFotis KopsaftopoulosCarlos Varela

computer sciencesystems engineeringlogic in computer sciencesoftware verificationcomputer-aided verificationautonomous aircraftruntime verificationsafety-critical aerospace systemscyber-physical systemsformal verificationautomated reasoningunmanned aircraft systemssystem safetyverificationreliability engineeringformal methodsaerospace engineering

A Scalable Algorithm for Decentralized Actor Termination Detection. Logical Methods in Computer Science (2022)

Dan PlyukhinGul Agha

concurrent programmingcomputer sciencesystems engineeringscalabilityautomatic garbage collectionprogramming languagesprogram analysiscoordination mechanismssoftware analysisdistributed systemsruntime verificationgarbage collectionconcurrency theorytermination detectionformal verificationverificationformal methods

Eventual Consensus in Synod: Verification Using a Failure-Aware Actor Model. Innovations in Systems and Software Engineering (2022)

Saswata PaulGul AghaStacy PattersonCarlos Varela

computer sciencesystems engineeringlogic in computer scienceblockchain consensus protocolbyzantine faultautomated reasoningmultiagent systemsinteraction protocolformal verificationdata consistencyreplicationeventual consensusverificationformal methodsconsistency technology

JARVIS: Large-Scale Server Monitoring With Adaptive Near-Data Processing. 2022 IEEE 38th International Conference on Data Engineering (ICDE) (2022)

Atul SandurChanHo ParkStavros VolosGul AghaMyeongjae Jeon

computer scienceoperator-level partitioningbig datascalabilityoptimal partitioningcloud computingdistributed systemsparallel computingdata stream managementstream processingdata sciencedata managementcluster computingcurrent partitioning strategies

Multi-Component Dvfs.. (2022)

Mukherjee&ampCurtis MadsenGul AghaTian Ma

Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing. (2022)

Gul AghaDipayan MukherjeeAtul Sandur

power-efficient computingcomputer sciencewireless sensor networksscalabilityedge devicecloud computinginternet of thingsnetworked system designdistributed systemsactor modelenergy consumptioncomputer engineeringparallel computingedge computingparallel programmingcomputer architectureedge architecturemulti-access edge computing