What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Artificial intelligence
His primary areas of study are Programming language, Distributed computing, Concurrent object-oriented programming, Actor model and Theoretical computer science.
Many of his studies on Programming language involve topics that are commonly interrelated, such as Asynchronous communication.
In the field of Distributed computing, his study on Runtime system overlaps with subjects such as Protocol.
His Concurrent object-oriented programming study combines topics in areas such as Object-oriented programming, Concurrent computing and Concurrency.
Gul Agha frequently studies issues relating to Actor model and process calculi and Actor model.
The Theoretical computer science study combines topics in areas such as Process, Divergence-from-randomness model and Probabilistic argumentation.
His most cited work include:
- Actors: A Model of Concurrent Computation in Distributed Systems (2167 citations)
- CUTE: a concolic unit testing engine for C (1526 citations)
- Concurrent object-oriented programming (598 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of investigation include Distributed computing, Programming language, Theoretical computer science, Actor model and Concurrency.
His biological study focuses on Concurrent computing.
His study involves Concurrent object-oriented programming, Object-oriented programming, Java, Programming paradigm and Semantics, a branch of Programming language.
As a member of one scientific family, Gul Agha mostly works in the field of Theoretical computer science, focusing on Probabilistic logic and, on occasion, Markov chain and Model checking.
His Actor model study frequently involves adjacent topics like Actor model and process calculi.
His Concurrency study frequently draws connections between adjacent fields such as Asynchronous communication.
He most often published in these fields:
- Distributed computing (34.58%)
- Programming language (22.77%)
- Theoretical computer science (14.41%)
What were the highlights of his more recent work (between 2010-2021)?
- Distributed computing (34.58%)
- Wireless sensor network (9.80%)
- Software engineering (6.05%)
In recent papers he was focusing on the following fields of study:
Gul Agha mostly deals with Distributed computing, Wireless sensor network, Software engineering, Concurrency and Actor model.
His Distributed computing research incorporates themes from Mobile cloud, Scalability, Shared memory, Communications protocol and Multi-core processor.
His research in Scalability intersects with topics in Probabilistic logic, Cloud computing and Theoretical computer science.
The concepts of his Wireless sensor network study are interwoven with issues in Structural health monitoring, Key distribution in wireless sensor networks, Real-time computing, Embedded system and Scheduling.
His research investigates the link between Software engineering and topics such as Concurrent object-oriented programming that cross with problems in Agent-oriented programming.
His work in Concurrency addresses subjects such as Liveness, which are connected to disciplines such as Reachability.
Between 2010 and 2021, his most popular works were:
- A Survey of Statistical Model Checking (104 citations)
- TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs (55 citations)
- Enabling framework for structural health monitoring using smart sensors (49 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Artificial intelligence
His scientific interests lie mostly in Distributed computing, Structural health monitoring, Wireless, Wireless sensor network and Actor model.
Gul Agha is studying Deadlock, which is a component of Distributed computing.
Gul Agha has included themes like Service-oriented architecture, Electronic engineering, Structural monitoring and Modular design in his Structural health monitoring study.
His studies in Wireless sensor network integrate themes in fields like Key distribution in wireless sensor networks, Visual sensor network, Wireless network, Scheduling and Process engineering.
The various areas that Gul Agha examines in his Actor model study include Location transparency, Concurrent object-oriented programming, Software engineering and Locality of reference.
His study in State is interdisciplinary in nature, drawing from both Concurrent computing and Theoretical computer science.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
