Gul Agha | |
Birth Place: | Sindh, Pakistan |
Fields: | Computer science |
Workplaces: | University of Illinois at Urbana-Champaign |
Alma Mater: | California Institute of Technology University of Michigan |
Thesis Title: | Actors: A Model of Concurrent Computing in Distributed Systems |
Thesis Url: | http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA157917 |
Thesis Year: | 1985 |
Doctoral Advisor: | John Holland and Carl Hewitt |
Known For: | Actor Model, Statistical Model Checking, Actor Programming Languages |
Awards: | Fellow of the IEEE, Fellow of the ACM |
Gul Agha (گُل آغا) is a professor of computer science at the University of Illinois at Urbana-Champaign, and director of the Open Systems Laboratory. He is known for his work on the actor model of concurrent computation,[1] and was also Editor-in-Chief of ACM Computing Surveys from 1999 to 2007.[2] Agha was born and completed his early schooling in Sindh, Pakistan. Agha completed his B.S. with honors at the California Institute of Technology in the year 1977.[3] He received his Ph.D. in Computer and Communication Science from the University of Michigan in 1986 under the supervision of John Holland. However, much of his doctoral research was carried out in Carl Hewitt's Message-Passing Semantics Group at Massachusetts Institute of Technology (MIT).[4] [5] [6] Agha's dissertation was published by the MIT Press as Actors: a model of concurrent computation in distributed systems, a book which, according to the ACM Guide to Computing Literature, has been cited over 3000 times.[7]
Agha enjoys Blues music and is a vegan and a pacifist.[3] He has three daughters, including filmmaker Sindha Agha, and lives with his wife Jennifer S. Cole in Illinois.
Agha became a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2002.[8] He is also a Golden Core Member of the IEEE Computer Society, and a recipient of the IEEE Computer Society Meritorious Service Award, and was an International Lecturer for the ACM from 1992 to 1997.[4] Agha was elected as an ACM Fellow in 2018 for "research in concurrent programming and formal methods, specifically the Actor Model".