Research topics

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

• Grammars and automata, cellular automata (S. Capobianco, H. Tamm)
• Functional programming and categorical semantics, certified imperative code (T. Uustalu, J. Chapman, W. Jeltsch, 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, web service composition, 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)