This page here contains as much information as I have about Estonian computer scientists who have a PhD or a hope to get it within the next few years. For comparison, some Estonian mathematicians and Latvian computer scientists are included. Note that only the list of recently graduated PhDs is complete (or at least I hope it is).
(Universities, Companies, ...)
Name, homepage | Current location | PhD/MSc, year, institution | Thesis | Research- Index |
---|---|---|---|---|
Old Generation of Estonian Computer Scientists | ||||
Jaak Henno | TTU | 1976, UT | ||
Mare Koit | UT | PhD 1980, Moscow | ||
Mihhail Matskin | Trondheim, Norwegian University of Science and Technology | |||
Grigori Mints (another) | Stanford University | RI | ||
Peeter Normak | TPU | |||
Jaan Penjam | IOC, Software Department | |||
Jaanus Pöial | UT | PhD 1987, UT | ||
Mati Tombak | UT | PhD 1981, Leningrad University | ||
Enn Tõugu (Tyugu) | Stockholm, KTH | RI | ||
Jüri Vain | IOC, Dept of Control Systems | |||
New Generation (PhD in 1991 or later) of Estonian Computer Scientists | ||||
Ahto Buldas | Küberneetika AS | PhD 1999, TTU | An Algebraic Approach to the Structure of Graphs | RI DBLP |
Helger Lipmaa | Helsinki Uni of Tech, TCS, professor | PhD 1999, Tartu University | Secure and Efficient Time-Stamping Systems | RI DBLP |
Erich Mikk | Siemens | PhD 2000, University of Kiel | Semantics and Verification of Statecharts | RI |
Kaili Müürisep | UT | PhD 2000, Tartu University | Eesti keele arvutigrammatika: süntaks | RI |
Mati Pentus | Moscow State University | PhD 1996, MSU | Lambek calculus and formal grammars | RI DBLP |
Tiina Puolakainen | University of Tartu | PhD Oct 2001, UT | Eesti keele arvutigrammatika: morfoloogiline ühestamine | |
Olga Sokratova | University of Tartu, researcher | PhD 2001, UT | $\Omega$-rings, their flat and projective acts with some applications | RI |
Tanel Tammet | IT Meedia AS, TTU (professor) | PhD 1992, Chalmers | Resolution methods for decision problems and finite-model building | RI DBLP |
Sergei Tupailo | IOC | 1998, Stanford University | Finitary reductions for local predicativity | RI DBLP |
Tarmo Uustalu | University of Minho, Portugal | PhD 1998, KTH | Natural Deduction for Intuitionistic Least and Greatest Fixedpoint Logics, with an Application to Program Construction | RI DBLP |
Eero Vainikko | Bath University, UK | PhD 1997, University of Bergen | Robust Additive Schwarz Methods - Parallel Implementations and Applications | RI DBLP |
Margus Veanes | MPG, Saarbrücken | PhD 1997, Uppsala University | On Simultaneous Rigid E-Unification | RI DBLP |
Varmo Vene (another) | UT | PhD, UT, 2000 | Categorical Programming with Inductive and Coinductive Types | RI DBLP |
NGECS. To-be docs | ||||
Edith Elkind | Princeton | |||
Kalev Kask | University of California, Irvine | ? | RI | |
Maarja Kruusmaa | Halmstad University | Licentiate, 1998, Chalmers | RI | |
Marko Kääramees | Institute of Cybernetics | MSc, 1995, TTU | Transformation of Duration Calculus Specifications to DisCo Language | |
Peeter Laud | University of Saarbrücken | MSc 1998, UT | Generalized Context-Free Grammars | RI |
Alar Leibak | TTU | |||
Härmel Nestra | UT | MSc, UT, 1998 | Polytypic functional programming: from categorical groundwork to practice | |
Reimo Palm | UT | MSc, UT, 1996 | ||
Valdo Praust | Estonian Informatics Centre | MSc, TTU | ||
Meelis Roos | Küberneetika AS | MSc, 1999, UT | Integrating Time-Stamping and Notarization | RI |
Tiina Roose | Oxford | Diploma, 1993, TTU | ||
Hellis Tamm | Helsinki University | |||
Kuldar Taveter | VTT | MSc, 1995, TTU | ||
Kalev Sepp | University of Washington | |||
Jan Villemson aka Willemson (another) | Küberneetika AS | MSc, UT, 1998 | Kuupgraafid ja nende üldistused tippudel transitiivsete permutatsioonigraafidena | RI |
Jaak Vilo | European Bioinformatics Institute | RI DBLP PubMed |
Homeless: Malle Tagamets
Some homeless pals and gals: Märt Põldvere (analysis, PhD 1999), Jelena Ausekle (analysis, PhD 1999).
Lithuania: Gediminas Adomavicius, Stasys Jukna, Linas Laibinis, ...
Moldova: Yevgeniy Dodis.