744 Motooka, Nishi-ku
Fukuoka 819-0395, Japan
TEL (Office): +81-92-802-4402
FAX (Office): +81-92-802-4405
IMI(Institute of Mathematics for Industry)
Detail of Academic Staff
GAINA, Daniel/ Associate Professor



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.
Keyword | Logic, Formal Methods, Category Theory |
Division | Australia Branch |
Link |