Chair of Theoretical Informatics

The chair of Theoretical Computer Science was established in January 1994 as a joint enterprise between the IoC and Tallinn Technical University (TTU). This event together with the several TEMPUS projects where the department is involved should support gradual unification of the basic research in Academy of Sciences and Universities.

The Chair for Theoretical Computer Science belongs to the Institute of Automatics and Systems Theory of the TTU. Actually the staff of the Chair integrates research fellows of the IoC and some post graduate students form the TTU.

The Chair is regularly giving four courses:

• LAI4154 Theoretical Computer Science (J.Penjam, J.Vain);
• LAI4032 Computational Logic (J.Penjam, M.Kääramees);
• LAI5110 Automatic Programming (M.Matskin);
• LAI5151 Semantics of Programs (J.Penjam).

In cooperation with Prof. E. Tõugu from the Royal Institute of Technology of Sweden, two more courses are given at TTU in every second year:

• LAI5210 Knowledge Based Visual Software Engineering (E.Tõugu, T.Uustalu);
• LAI5211 Algorithms of Artificial Intelligence (E.Tõugu, T.Uustalu).

The four new courses are under the preparation:

• An Introduction to Artificial Intelligence;
• Functional Programming;
• Formal Specifications;
• Digital Image Processing and Robotics.