Igor Walukiewicz
Original record- Institution
- Uniwersytet Warszawski
- Year
- 1993
- Country
- Poland
- MGP identifier
- 91149
Dissertation: A Complete Deductive System for the Mu-Calculus
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Jerzy TiurynUniwersytet Warszawski · 1975
Students 11
| Name | Institution | Year | Students |
|---|---|---|---|
| Xavier Bertrand | Université Bordeaux 1 | 2006 | 0 |
| Dietmar W. Berwanger | Rheinisch-Westfälische Technische Hochschule Aachen | 2005 | 3 |
| Mikolaj Bojanczyk | Uniwersytet Warszawski | 2004 | 4 |
| Farès Chucri | Université Bordeaux 1 | 2012 | 0 |
| Alessandro Facchini | Université Bordeaux 1 and Université de Lausanne | 2010 | 0 |
| Omer Landry Nguena Timo | Université Bordeaux 1 | 2009 | 0 |
| Govind Rajanbabu | Université Bordeaux 1 and Chennai Mathematical Institute | 2021 | 0 |
| Michał Paweł Skrzypczak | Uniwersytet Warszawski | 2014 | 2 |
| Balaguru Srivathsan | Université Bordeaux 1 | 2012 | 1 |
| Thanh Tung Tran | Université Bordeaux 1 | 2016 | 0 |
| Thế Quang Trần | Université Bordeaux 1 | 2009 | 0 |