Research in Formal Methods is a systematic and scientific study of issues in computer science, based on solid mathematical principles. The area of Formal Methods concerns fundamental research and considers systems and constructions used in computer science. These constructions are described exactly in a formal syntax and are supplied with a formal semantics whenever appropriate.

Why Formal Methods?

Formal Methods increase understanding of systems, increase clarity of description and help solve problems and remove errors. Use of Formal Methods increases dependability and usability of constructions and systems in computer science.

Application of Formal Methods

We study and use Formal Methods in order to apply them. Thus, our choice of research topics is inspired by the practice of computer science. To support application, we use existing tools and develop new tools. We are not studying methods in isolation, but intend to have them used in practice.

Choice of topics

Based on our expertise and the benefits expected in application, we focus on the following specific areas:

 

• Security
• Specification and verification
• Assertional methods