Info- ja kommunikatsioonitehnoloogia doktorikool
IKTDK


Kaitsmised doktorikoolis

15.12.2008 kaitses TTÜ doktorant Ilja Tšahhirov oma doktoritöö "Security protocols analysis in the computational model - dependency flow graphs-based approach". Juhendajad prof. Jaak Tepandi (TTÜ), konsultant dr. Peeter Laud (CybAS). Oponendid dr. Cédric Fournet (Microsoft Research, Cambridge), prof. Varmo Vene (TÜ).

8.12.2008 kaitses TTÜ doktorant Maksim Jenihhin oma doktoritöö "Simulation-based hardware verification with high-level decision diagrams". Juhendajad dr. Jaan Raik, prof. Raimund Ubar (TTÜ). Oponendid dr. Rainer Dorsch (IBM, Böblingen), prof. Franco Fummi (Università di Verona).

14.11.2008 kaitses TTÜ (KübI) doktorant Ando Saabas oma doktoritöö "Logics for low-level code and proof-preserving program transformations". Juhendajad prof. Tarmo Uustalu (KübI) ja akad. Enn Tõugu (KübI). Oponendid dr. Bernd Fischer (Univ. of Southampton), prof. David Sands (Chalmers Univ. of Technology and Göteborg Univ.).

24.10.2008 kaitses TTÜ doktorant Andrei Pokatilov oma doktoritöö "Development of national standard for voltage unit based on solid-state references". Juhendaja prof. Toomas Rang (TTÜ). Oponendid prof. Igor Zakharov (Harkovi Rahvuslik Raadioelektroonika Ülikool), prof. Albrecht Zur (Fachhochschule Kiel).

29.8.2008 kaitses TTÜ doktorant Innar Liiv oma doktoritöö "Pattern discovery using seriation and matrix reordering: a unified view, extensions and an application to inventory management". Juhendaja prof. Rein Kuusik. Oponendid dots. Timo Honkela (Helsinki Tehnikaülikool), prof. Jaak Vilo (TÜ).

25.4.2008 kaitses TÜ doktorant Sven Laur Helsinki Tehnikaülikoolis oma doktoritöö "Cryptographic protocol design". Juhendaja prof. Kaisa Nyberg (Helsinki Tehnikaülikool), oponent prof. Serge Vaudenay (EPF Lausanne).

6.12.2007 kaitses TTÜ doktorant Eduard Petlenkov oma doktoritöö "Neural networks based identification and control of nonlinear systems: ANARX model based approach". Juhendaja prof. Ennu Rüstern. Oponendid prof. Robert Tenno (Helsinki Tehnikaülikool), prof. Tõnu Lehtla (TTÜ).

29.11.2007 kaitses TTÜ doktorant Juhan Ernits oma doktoritöö "Two state space reduction techniques for explicit state model checking". Juhendaja prof. Jüri Vain. Oponendid prof. Kim Guldstrand Larsen (Aalborgi Ülikool), prof. Varmo Vene (TÜ).

24.10.2007 kaitses TTÜ doktorant Elmet Orasson oma doktoritöö "Hybrid built-in self-test - methods and tools for analysis and optimization of BIST". Juhendaja prof. Raimund Ubar. Oponendid prof. Einar Aas (NTNU, Trondheim), prof. Bernd Straube (Fraunhofer Institute for Integrated Circuits, Dresden).

6.9.2007 kaitses TÜ doktorant Marina Issakova oma doktoritöö "Solving of linear equations, linear inequalities and systems of linear equations in interactive learning environment". Juhendaja dots. Rein Prank. Oponendid prof. Jean-Francois Nicaud (Univ. Joseph Fourier) ja dots. Jaak Henno (TTÜ).

4.9.2007 kaitses TTÜ doktorant Madis Listak oma doktoritöö "A task-oriented design of a biologically inspired robot". Juhendajad prof. Maarja Kruusmaa, dots. Margus Kruus. Oponendid prof. Erik Maehle (Lübecki Ülikool), prof. Peeter Ellervee (TTÜ).

9.3.2007 kaitses TTÜ doktorant Rauno Gordon oma doktoritöö "Modelling of cardiac dynamics and intracardiac bioimpedance". Juhendaja prof. Mart Min. Oponendid prof. Jari Hyttinen (Tampere Tehnikaülikool), dots. Jüri Vedru (TÜ).

18.12.2006 kaitses TTÜ doktorant Erki Eessaar oma doktoritöö "Relational and object-relational database management systems as platforms for managing software engineering artifacts". Juhendaja prof. Rein Kuusik, oponendid prof. Bernhard Thalheim (Christian-Albrechts-Univ. zu Kiel), prof. Jüri Kiho (TÜ).

5.7.2006 kaitses TTÜ doktorant Eero Ivask oma doktoritöö "Digital test in web-based environment". Juhendajad prof. Raimund Ubar. Oponendid H. Krupnova (STMicroelectronics, Grenoble), Günter Elst (Fraunhofer Institute for Integrated Circuits, Dresden).

19.6.2006 kaitses TÜ doktorant Kristo Heero oma doktoritöö "Path planning and learning strategies for mobile robots in dynamic partially unknown environment". Juhendajad dots. Jan Willemson ja van-tead. Maarja Kruusmaa. Oponent prof. Paolo Fiorini (Univ. di Verona).

15.12.2005 kaitses TTÜ doktorant Jelena Fomina oma doktoritöö "Low power finite state machine synthesis". Juhendaja dots. Aleksander Sudnitsõn. Oponendid prof. Arkadi Zakrevski (Minski Informaatikaprobleemide Ühendinstituut), prof. Vladimir Hahhanov (Harkovi Rahvuslik Raadioelektroonika Ülikool).

9.12.2005 kaitses TTÜ doktorant Deniss Kumlander oma doktoritöö "Some practical algorithms to solve the maximum clique problem". Juhendaja prof. Rein Kuusik. Oponendid prof. Patrik R. J. Östergård (Helsingi Tehnikaülikool), prof. Mati Tombak (TÜ).

9.12.2005 kaitses TTÜ doktorant Tarmo Veskioja oma doktoritöö "Stable marriage problem and college admission". Juhendaja prof. em. Leo Võhandu. Oponendid dr. Harri Haanpää (Helsingi Tehnikaülikool), prof. Mati Tombak (TÜ).


iktdk(at)ioc.ee
Viimane uuendus 12.1.2009