Gul Agha

Registered user since Fri 10 Oct 2014

Name:Gul Agha
Bio:

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

Contributions

ECOOP 2023 PC Member in Program Committee within the Research Papers-track
AGERE 2018 Author of Concurrent Garbage Collection in the Actor Model within the AGERE-track
ECOOP 2018 Author of Targeted Test Generation for Actor Systems within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Targeted Test Generation for Actor Systems within the Posters-track
AGERE 2017 Keynote Speaker of AGERE! Keynote: Actors for Big Data: Applications and Open Problems within the AGERE 2017-track
Committee Member in Program Committee within the AGERE 2017-track
AGERE 2016 Programme Committee in Program Committee within the AGERE 2016-track
AGERE! 2015 Committee Member in Program Committee within the AGERE-track
AGERE! Committee Member in Steering Committee
Speaker of Upgrade Programming for Mobile Cloud within the AGERE!-track
Committee Member in Program Committee
AGERE 2012 Committee Member in Program Committee within the AGERE 2012-track
Committee Member in Organizers within the AGERE 2012-track
AGERE 2011 Organization Co-chair in Organizing Committee within the AGERE 2011-track