Blogs (61) >>
Gul Agha

Registered user since Fri 10 Oct 2014

Name:Gul Agha

Gul Agha is Professor of Computer Science at the University of Illinois at Urbana-Champaign. His research is in the area of programming models and languages for open distributed and embedded computation with applications to cloud computing. Dr. Agha is a primary developer of the Actor model of concurrent computation. He is also known for his work on testing, statistical model checking, and sensor networks. Dr. Agha is a Fellow of the Institute for Electrical Engineering and Electronics (IEEE) and a Golden Core of the IEEE Computer Society. Dr. Agha is a past Editor-in-Chief of IEEE Concurrency: Parallel, Distributed and Mobile Computing, and of ACM Computing Surveys. He has given over one hundred lectures at universities and research laboratories and over dozens of invited and keynote lectures. Dr. Agha is a co-founder of the startup Embedor Technologies which is developing sensor network solutions for applications in the Internet of Things.

Affiliation:University of Illinois at Urbana-Champaign, USA
Research interests:Actor Languages, Concurrency, Formal Methods, Sensor Networks


ECOOP 2018 Targeted Test Generation for Actor Systems
ECOOP and ISSTA 2018 Targeted Test Generation for Actor Systems
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile