ガイナ ダニエル
Daniel Gaina
更新日: 02/01
基本情報
- 所属
- 九州大学
- 研究者番号
- 80595778
- J-GLOBAL ID
- 201801004311620758
- researchmap会員ID
- B000338191
My research interests are rooted within algebraic specification, one of the most promising approach to formal methods assisting the developing of software systems at several stages such as design, specification and formal verification. Algebraic specification and programming languages are rigorously based on logic, which amounts to the existence of a logical system underlying the language such that each language feature and construction can be expressed as a mathematical entity of the underlying logic.
The current goal of my research is to develop mathematical and logical structures supporting the efficient development of correct reconfigurable software systems, i.e. systems with reconfigurable mechanisms managing the dynamic evolution of their configurations in response to external stimuli or internal performance measures. A typical example of reconfigurable system is given by the cloud-based applications that flexibly react to client demands by allocating, for example, new server units to meet higher rates of service requests. The model implemented over the cloud is pay-per-usage, which means that the users will pay only for using the services. Therefore, the cloud service providers have to maintain a certain level of quality of service to keep up the reputation.
Reconfigurable systems are safety- and security-critical systems with strong qualitative requirements, and consequently, formal verification is needed.
The current goal of my research is to develop mathematical and logical structures supporting the efficient development of correct reconfigurable software systems, i.e. systems with reconfigurable mechanisms managing the dynamic evolution of their configurations in response to external stimuli or internal performance measures. A typical example of reconfigurable system is given by the cloud-based applications that flexibly react to client demands by allocating, for example, new server units to meet higher rates of service requests. The model implemented over the cloud is pay-per-usage, which means that the users will pay only for using the services. Therefore, the cloud service providers have to maintain a certain level of quality of service to keep up the reputation.
Reconfigurable systems are safety- and security-critical systems with strong qualitative requirements, and consequently, formal verification is needed.
研究分野
1経歴
5-
2022年4月 - 現在
学歴
4受賞
2主要な論文
25-
Journal of the ACM 67(4) 1-55 2020年8月13日 査読有り責任著者
-
Studia Logica 85 41-73 2007年2月 査読有り
共同研究・競争的資金等の研究課題
2-
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C) Grant-in-Aid for Scientific Research (C) 2020年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 基盤研究(S) 2011年4月 - 2016年3月