Igor Walukiewicz
Ph.D. Uniwersytet Warszawski 1993
Dissertation:
A Complete Deductive System for the Mu-Calculus
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Jerzy Tiuryn
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Bojanczyk, Mikolaj | Uniwersytet Warszawski | 2004 | 9 |
| Berwanger, Dietmar | Rheinisch-Westfälische Technische Hochschule Aachen | 2005 | 3 |
| Bertrand, Xavier | Université Bordeaux 1 | 2006 | |
| Nguena Timo, Omer | Université Bordeaux 1 | 2009 | |
| Trần, Thế Quang | Université Bordeaux 1 | 2009 | |
| Facchini, Alessandro | Université Bordeaux 1 and Université de Lausanne | 2010 | |
| Chucri, Farès | Université Bordeaux 1 | 2012 | |
| Srivathsan, Balaguru | Université Bordeaux 1 | 2012 | 1 |
| Skrzypczak, Michał | Uniwersytet Warszawski | 2014 | 2 |
| Tran, Thanh Tung | Université Bordeaux 1 | 2016 | |
| Rajanbabu, Govind | Université Bordeaux 1 and Chennai Mathematical Institute | 2021 |
According to our current on-line database, Igor Walukiewicz has 11 students and 22 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 91149 for the advisor ID.