Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

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 2014 Activities

SPLASH 2014-profile
View general profile