基本信息
views: 414
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
The goal of Professor Agha's research is to understand the nature of concurrent computation. Results of the research will lead to new ways for building and maintaining open distributed systems. Specifically, Agha's group is developing concurrent programming languages and systems which support applications with high-performance, fault-tolerance or real-time requirements. The group's research is both theoretical and practical. The goal of the theory is to provide a clear semantics for new programming constructs and software composition techniques. The goal of developing systems to experiment with the ideas and provide a proof of principle.
The research is based on the Actors, a model of concurrent objects for which Professor Agha is recognized as a prime exponent. Some recent accomplishments of his group include: building the fastest run-time systems available to support fine-grained object migration; developing a theory of actor systems which provides powerful proof techniques for open distributed computing; a distributed real-time programming language; visualization tools; a software architecture for defining reusable protocols; and a methodology for coordinating distributed objects.
The research is based on the Actors, a model of concurrent objects for which Professor Agha is recognized as a prime exponent. Some recent accomplishments of his group include: building the fastest run-time systems available to support fine-grained object migration; developing a theory of actor systems which provides powerful proof techniques for open distributed computing; a distributed real-time programming language; visualization tools; a software architecture for defining reusable protocols; and a methodology for coordinating distributed objects.
Research Interests
Papers共 392 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2024)
Cited0Views0EIBibtex
0
0
Cited0Views0Bibtex
0
0
2023 IEEE International Conference on Quantum Computing and Engineering (QCE) (2023): 580-590
QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023 (2023): 65-81
IEEE Aerospace and Electronic Systems Magazineno. 5 (2023): 72-88
crossref(2022)
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn