Institute of Cybernetics, Tallinn, Estonia

The Institute of Cybernetics (IOC) is an interdisciplinary research institution with about 40 research staff that specializes in control theory, selected areas of applied mathematics and theoretical mechanics, and selected areas of computer science and information technology, namely, programming language theory, specification and verification of timed and hybrid systems, databases and information systems research. Established in 1960 as an institute of the Estonian Academy of Sciences, IOC was reorganized into a semi-autonomous research institute at Tallinn University of Technology (TUT) in 1997. TUT is Estonia's second-largest university and only technical university. TUT was established in 1918 and has about 1000 academic staff and 10000 students.

IOC is the seat of two National Centers of Excellence in Research, the Center of Dependable Computing and the Center for Non-linear Studies. Specifically in computer science, IOC has also been the motor of nearly all nationwide collaborative initiatives in the field. IOC is actively promoting international research collaboration and the visibility of Estonian IT research on the international scale. I0C has hosted various international events; the recent involvements include APPSEM'04, AFP'04, CADE'05, ADBIS'05, TFP/ICFP/GPCE'05, MPC/AMAST'06 and the annual international Estonian Winter Schools in Computer Science.

The IOC Mobius team consists of Tarmo Uustalu, Peeter Laud, Ando Saabas and Olha Shkaravska. Their competencies include proof theory and type theory, in particular theorem proving, advanced type systems designed specifically for program analyses, semantics of type systems, programming language semantics and program transformations.