Research topics

We conduct research in a variety of topics ranging from computer science to software engineering and information systems.

• Grammars and automata (S. Capobianco, H. Tamm)
• Functional programming and categorical semantics, certified imperative code (T. Uustalu, V. Vene, J. Chapman, M. El-Zawawy, K. Nakata) (see the page of the Logic and semantics group)
• Information systems and ontologies (H.-M. Haav, A. Kalja, I. Astrova), software process improvement (M. Lepmets)
• Software composition, visual specification (the CoCoViLa system), engineering computations, composition of web services, cyber security (E. Tyugu, P. Grigorenko, M. Harf, V. Kotkas, R. Maigre, A. Ojamaa, J. Penjam, J. Sanko) (see the page of the Modeling and simulation group)