Zainteresowania badawcze
- asymptotic probability in logic, computability theory, computational logic, typed lambda calculus, lambda definability, functional programming.
Współ‚pracownicy
Maciej Bendkowski | Jagiellonian University, Krakow, Poland. |
Pierre Lescanne | l'École Normale Supérieure de Lyon |
Daniele Gardy | Université de Versailles Saint-Quentin |
Rene David | University of Savoy, Chambery, France |
Herve Fournier | Équipe de logique mathématique, Université Paris Diderot |
Antoine Genitrini | Computer Science, Université Pierre et Marie Curie (Paris 6) |
Katarzyna Grygiel | Jagiellonian University, Krakow, Poland. |
Paweł Idziak | Jagiellonian University, Krakow, Poland. |
Jakub Kozik | Jagiellonian University, Krakow, Poland. |
Zofia Kostrzycka | Technical University of Opole, Opole, Poland |
Malgorzata Moczurad | Jagiellonian University, Krakow, Poland. |
Marian Mrozek | Jagiellonian University, Krakow, Poland |
Christophe Raffalli | University of Savoy, Chambery, France |
Kevin Reilly | University of Alalbama in Birmingham, Birmingham, USA |
Guillaume Theyssier | University of Savoy, Chambery, France |
Jerzy Tyszkiewicz | Warsaw University, Warsaw, Poland. |
Krótkie CV
1985 | PhD in mathematics | University of Warsaw | Warsaw, Poland |
1986-1988 | visiting prof. at Department of Computer Science | The University of Alabama | Birmingham, USA |
1993 | Habilitation | Jagiellonian University | Krakow, Poland. |
1995 | Visiting Professor, Computer Science Department, | University of Buffalo, | Buffalo, New York, USA |
2002 | One month visit at Computer Science Department, | L Ecole Normale Superieure, | Lyon, France. |
2003 | Deputy dean of the Faculty of Mathematics and Computer Science. | Jagiellonian University | Krakow, Poland. |
2006 | Professor of Mathematical Sciences | Jagiellonian University | Krakow, Poland |
2006 | Visiting prof. at Computer Science Department, | Universite de Versailles, | France |
2007 | One month visit at Mathematics Department at | Universite de Savoie | Chambery, France |
- Strona Główna
- Katedra Algorytmiki
- Katedra Podstaw Informatyki
- Wydział Matematyki i Informatyki
- Kontakt
- Satori
- Reports on Mathematical Logic
- Forum TCS
- UsosWeb
- Informatyka na szlaku
- Galeria
- Ludzie
- Bartłomiej Bosek
- Marcin Briański
- Iwona Cieślik
- Jan Derbisz
- Andrzej Dorobisz
- Lech Duraj
- Monika Gillert
- Katarzyna Grygiel
- Grzegorz Gutowski
- Grzegorz Herman
- Pawel M. Idziak
- Piotr Kawałek
- Marcin Kozik
- Jakub Kozik
- Tomasz Krawczyk
- Jacek Krzaczkowski
- Xuân La
- Agnieszka Łupińska
- Piotr Micek
- Jonathan Narboni
- Andrzej Pezarski
- Bartosz Podkanowicz
- Adam Polak
- Krzysztof Potępa
- Wojciech Szpankowski
- Maciej Ślusarek
- Jan Tułowiecki
- Krzysztof Turowski
- Bartosz Walczak
- Michał Wrona
- Marek Zaionc
- Byli współpracownicy