TKINDLATEARVUTISüSTEEMIDEUURIMISEKESKUS.docVIP

CENTRE FOR DEPENDABLE COMPUTING T??kindlate arvutisüsteemide uurimise keskus  Head: Prof. Jaan Penjam Institute of Cybernetics at Tallinn Technical University Akadeemia tee 21, 12618 Tallinn Tel.: 620 4150 Fax: 620 4151 Email: jaan@cs.ioc.ee http://cdc.ioc.ee/ RESEARCH TEAMS MATHEMATICAL FOUNDATIONS PROGRAMMING LANGUAGE TECHNOLOGY (MFPLT) Leader: Dr. Tarmo Uustalu Institute of Cybernetics Akadeemia tee 21, 12618 Tallinn Tel.: 620 4250 Fax: 620 4151 Email: tarmo@cs.ioc.ee FORMAL METHODS IN SOFTWARE ENGINEERING (FM) Leader: Prof. Jaan Penjam Institute of Cybernetics Akadeemia tee 21, 12618 Tallinn Tel. 620 4150 Fax: 620 4151 Email: jaan@cs.ioc.ee TRUST AND CONFIDENCE (TC) Leader: Prof. Ahto Buldas Cybernetica AS Akadeemia tee 21, 12618 Tallinn Tel.: 665 4241 Faks: 639 7992 e-mail: ahtbu@cyber.ee DESIGN AND TEST OF DIGITAL SYSTEMS (DT) Leader: Prof. Raimund-Johannes Ubar Dept. of Computer Engineering Tallinn Technical University Raja 15, 12618 Tallinn Tel.: 620 2252 Faks: 620 2253 e-mail: raiub@pld.ttu.ee  Centre for Dependable Computing unites scientists from different institutions sharing common research interests and working on common themes following a jointly agreed research plan. In fact, the associated research groups have for years constituted an informal research network that, depending on the prevailing political and financial situation, has worked together organising all-Estonian seminars, conducting projects for supporting computer science higher education (TEMPUS projects) or running international winter schools for graduate students. Establishing a centre of excellence enabled a more systematic consolidation of these efforts. The research plan of the Centre is in agreement with the plans of the participating institutions. The Centre involves people from seven institutions: Institute of Cybernetics at TTU (IoC) Dept. of Computer Science, TTU (CS/TTU) Dept. of Computer Control, TTU (CC/TTU) Dept. of Computer Engineering, TTU (CE/TTU) Institute of Compu