World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
67
Citations
22163
World Ranking
2166
National Ranking
1089

Research.com Recognitions

  • 2018 - ACM Fellow For research in concurrent programming and formal methods, specifically the Actor Model
  • 2002 - IEEE Fellow For contributions to the theory and practice of concurrent programming.

Overview

Gul Agha is affiliated with the University of Illinois at Urbana-Champaign in the United States. Their research primarily lies within the field of Computer Science, with a specific focus on subfields such as Computer Networks and Communications, Information Systems, Computational Theory and Mathematics, Hardware and Architecture, and Artificial Intelligence.

Their work encompasses a variety of topics, prominently featuring:

  • Distributed systems and fault tolerance
  • Parallel Computing and Optimization Techniques
  • Software System Performance and Reliability
  • Cloud Computing and Resource Management
  • Mobile Agent-Based Network Management
  • Formal Methods in Verification
  • Software Testing and Debugging Techniques

Gul Agha has coauthored multiple papers with frequent collaborators including Saswata Paul, Stacy Patterson, Carlos A. Varela, Dan Plyukhin, and Atul Sandur.

Their published papers include:

  • "Formal Verification of Safety-Critical Aerospace Systems," 2023, IEEE Aerospace and Electronic Systems Magazine
  • "Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing," 2022, 2022 IEEE 38th International Conference on Data Engineering (ICDE)
  • "A Scalable Algorithm for Decentralized Actor Termination Detection," 2022, Logical Methods in Computer Science
  • "Eventual consensus in Synod: verification using a failure-aware actor model," 2022, Innovations in Systems and Software Engineering
  • "Scalable Termination Detection for Distributed Actor Systems," 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Gul Agha's work has been published in venues such as:

  • arXiv (Cornell University)
  • Proceedings of the Annual Hawaii International Conference on System Sciences
  • IEEE Aerospace and Electronic Systems Magazine
  • Logical Methods in Computer Science
  • 2022 IEEE 38th International Conference on Data Engineering (ICDE)

The scientist has been recognized as a Fellow of the ACM in 2018 for research in concurrent programming and formal methods, specifically the Actor Model. Additionally, they were named an IEEE Fellow in 2002 for contributions to the theory and practice of concurrent programming.

Best Publications

  • Actors: A Model of Concurrent Computation in Distributed Systems

    Gul Agha

  • CUTE: a concolic unit testing engine for C

    Koushik Sen;Darko Marinov;Gul Agha

  • A foundation for actor computation

    Gul A. Agha;Ian A. Mason;Scott F. Smith;Carolyn L. Talcott

  • Concurrent object-oriented programming

    Gul Agha

  • CUTE and jCUTE: concolic unit testing and explicit path model-checking tools

    Koushik Sen;Gul Agha

  • Structural health monitoring of a cable-stayed bridge using smart sensor technology: deployment and evaluation

    Shinae Jang;Hongki Jo;Soojin Cho;Kirill Mechitov

  • Statistical model checking of black-box probabilistic systems

    Koushik Sen;Mahesh Viswanathan;Gul Agha

  • Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism

    Gul Agha;Carl Hewitt

  • Programming dynamically reconfigurable open systems with SALSA

    Carlos Varela;Gul Agha

  • On statistical model checking of stochastic systems

    Koushik Sen;Mahesh Viswanathan;Gul Agha

  • A Survey of Statistical Model Checking

    Gul Agha;Karl Palmskog

  • Flexible smart sensor framework for autonomous structural health monitoring

    Jennifer A. Rice;Kirill Mechitov;Sung Han Sim;Tomonori Nagayama

  • Apparatus and method for synchronizing execution of programs in a distributed real-time computing system

    Masahiko Saito;Gul A. Agha

  • Concurrent programming using actors

    Gul Agha;Carl Hewitt

  • SENS: a sensor, environment and network simulator

    Sameer Sundresh;Wooyoung Kim;Gul Agha

  • Actor frameworks for the JVM platform: a comparative analysis

    Rajesh K. Karmani;Amin Shali;Gul Agha

  • Cooperative tracking with binary-detection sensor networks.

    Kirill Mechitov;Sameer Sundresh;YoungMin Kwon;Gul Agha

  • PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

    Gul Agha;José Meseguer;Koushik Sen

  • VESTA: A statistical model-checker and analyzer for probabilistic systems

    K. Sen;M. Viswanathan;G. Agha

  • Research directions in concurrent object-oriented programming

    Gul Agha;Peter Wegner;Akinori Yonezawa

Frequent Co-Authors

Koushik Sen
Koushik Sen University of California, Berkeley
Billie F. Spencer
Billie F. Spencer University of Illinois at Urbana-Champaign
Mahesh Viswanathan
Mahesh Viswanathan University of Illinois at Urbana-Champaign
Grigore Rosu
Grigore Rosu University of Illinois at Urbana-Champaign
Carolyn L. Talcott
Carolyn L. Talcott SRI International
Akinori Yonezawa
Akinori Yonezawa University of Tokyo
Peter Wegner
Peter Wegner Brown University
José Meseguer
José Meseguer University of Illinois at Urbana-Champaign
Darko Marinov
Darko Marinov University of Illinois at Urbana-Champaign
Nalini Venkatasubramanian
Nalini Venkatasubramanian University of California, Irvine

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to a broad array of online degree options and diverse career pathways. Many students are interested in fields that intersect or complement computer science, such as engineering, data science, and physics. It's important to explore these options to expand your expertise and job prospects.

If you are passionate about applying technology to environmental challenges, you might consider an environmental engineering online degree. This pathway focuses on developing sustainable solutions using engineering principles and often integrates computer modeling and analysis skills from computer science.

For those drawn to design and innovation, online mechanical engineering degrees can be an excellent fit. These programs blend mechanical systems knowledge with computational techniques, providing a strong foundation for industrial and product design careers.

If physics intrigues you, a physics degree online can enhance your analytical abilities and open routes in research, technical consulting, or engineering sectors.

Data science is another rapidly expanding field. For those seeking affordability, consider the cheapest data science masters in usa to gain in-demand skills for roles in analytics, machine learning, and AI.

Best Scientists Citing Gul Agha

Trending Scientists

Recently Published Articles