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)
Latest update 22 November 2009