Gul Agha

Gul Agha is Professor of Computer Science at the University of Illinois at Urbana-Champaign. Agha is a Fellow of the IEEE. He served as Editor-in-Chief of IEEE Concurrency: Parallel, Distributed and Mobile Computing (1994-98), and of ACM Computing Surveys (1999-2007). He has published over 200 research articles and supervised 30 PhD dissertations. His book on Actors is among the most widely cited in concurrent and distributed computing. Besides work on semantics and implementation of actor languages, Agha's research group has developed novel coordination languages, novel methods for software testing, computational learning for verification, statistical model checking, and sensor networks. In collaboration with Civil Engineers, he has developed methods for autonomic structural health monitoring (SHM) of civil infrastructure using wireless smart sensor networks. Agha is a co-founder of Embedor Technologies, a company providing solutions for infrastructure monitoring in smart cities.