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
Personal website: http://osl.cs.illinois.edu
Research interests: Concurrency Theory, Programming Languages, Formal Methods, Sensor Networks
SPLASH 2016 Activities
View general profile