Dr. Gul Agha is Professor Emeritus and Research Professor of Computer Science at the University of Illinois at UrbanaChampaign, and CEO of Embedor Technologies. Agha is a Fellow of the ACM, and Fellow of the IEEE. He was a recepient of the 2019 ACM SigSoft Impact Paper Award. Dr. Agha served as Editor-in-Chief of IEEE Concurrency: Parallel, Distributed and Mobile Computing (1994-98), and of ACM Computing Surveys (2000-07). Dr. Agha is best known for his formalization of the Actor model which has been realized in industrial programming languages and frameworks such as Erlang, Scala/Akka, and Orleans. Agha and his research group developed Concolic Testing for programs with memory and concurrency. Concolic testing has been incorporated in industrial software testing tools such as KLEE, Microsoft SAGE, and S2E. Dr. Agha developed methods for Statistical Model Checking (SMC). SMC has been applied to biological systems and cyberphysical systems. Dr. Agha research also led to Euclidean model checking, a method to reason about the evolution of probability distributions. Other research contributions include methods to harness computational learning for program verification; logical methods for automated decentralized, predictive runtime verification of programs; and distributed algorithms for wireless sensor networks (WSNs). Dr. Agha co-founded Embedor Technologies which is applying WSNs to continually monitor the structural health of bridges, buildings and railroad tracks. Embedor's technology was used to monitor the world largest Ferris wheel during construction. (More)

Dr. Gul Agha is Professor Emeritus and Research Professor of Computer Science at the University of Illinois at UrbanaChampaign, and CEO of Embedor Technologies. Agha is a Fellow of the ACM, and Fellow of the IEEE. He was a recepient of the 2019 ACM SigSoft Impact Paper Award. Dr. Agha served as Editor-in-Chief of IEEE Concurrency: Parallel, Distributed and Mobile Computing (1994-98), and of ACM Computing Surveys (2000-07). Dr. Agha is best known for his formalization of the Actor model which has been realized in industrial programming languages and frameworks such as Erlang, Scala/Akka, and Orleans. Agha and his research group developed Concolic Testing for programs with memory and concurrency. Concolic testing has been incorporated in industrial software testing tools such as KLEE, Microsoft SAGE, and S2E. Dr. Agha developed methods for Statistical Model Checking (SMC). SMC has been applied to biological systems and cyberphysical systems. Dr. Agha research also led to Euclidean model checking, a method to reason about the evolution of probability distributions. Other research contributions include methods to harness computational learning for program verification; logical methods for automated decentralized, predictive runtime verification of programs; and distributed algorithms for wireless sensor networks (WSNs). Dr. Agha co-founded Embedor Technologies which is applying WSNs to continually monitor the structural health of bridges, buildings and railroad tracks. Embedor's technology was used to monitor the world largest Ferris wheel during construction. (More)