Savas Konur

Research Interests

My research interests involve formal modeling, specification, verification and analysis of complex, concurrent & stochastic systems and design/development of software systems/tools/methods that facilitate formal methods in various application areas, including Systems and Synthetic Biology, Ubiquitious Systems, Real-time Systems, Safety-critical Systems, Autonomous Systems and Multi-agent & Systems.
My work can be classified into three main categories:
i) theory: developing new mathematical techniques for specifying and verifying complex systems
(ii) implementation: design & development of software systems, tools and methods
(iii) application: modelling, verification and analysis of complex systems