Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
---++ Institute of Cybernetics, Tallinn, Estonia The [[http://www.ioc.ee/][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 [[http://www.akadeemia.ee/][Estonian Academy of Sciences]], IOC was reorganized into a semi-autonomous research institute at [[http://www.ttu.ee/][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 [[http://www.cs.ioc.ee/appsem04/][APPSEM'04]], [[http://www.cs.ut.ee/afp04/][AFP'04]], [[http://www.ttu.ee/it/cade/][CADE'05]], [[http://www.cs.ioc.ee/abdis2005/][ADBIS'05]], [[http://www.cs.ioc.ee/tfp-icfp-gpce05/][TFP/ICFP/GPCE'05]], MPC/AMAST'06 and the annual international Estonian Winter Schools in Computer Science. The IOC Mobius team consists of [[http://www.cs.ioc.ee/~tarmo/][Tarmo Uustalu]], [[http://www.ut.ee/~peeter_l/][Peeter Laud]], [[http://www.cs.ioc.ee/~ando/][Ando Saabas]] and [[http://www.cs.ioc.ee/~shkarav/][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.
End of topic
Skip to action links
|
Back to top
r1.5 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
InstituteOfCybernetics
to top
Ideas, requests, problems regarding the Mobius site