Marek Zaionc
Professor
phone (+48) 12 664 6649
fax (+48) 12 664 66 72
email
address ul. Łojasiewicza 6, 30-348 Kraków
room room 3066
office hours Tuesday 10:00 - 11:30
room 3066
www official
  private

Research Interests

  • asymptotic probability in logic, computability theory, computational logic, typed lambda calculus, lambda definability, functional programming.

Short 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.
1994 Visiting Professor, Computer Science Department, University of Buffalo, Buffalo, New York, USA
1995 One month visit at Computer Science Department, L Ecole Normale Superieure, Lyon, France.
2002 Deputy dean of the Faculty of Mathematics and Computer Science. Jagiellonian University Krakow, Poland.
2003 Professor of Mathematical Sciences Jagiellonian University Krakow, Poland
2006 Visiting prof. at Computer Science Department, Universite de Versailles, France
2006 One month visit at Mathematics Department at Universite de Savoie Chambery, France
2007 One month visit at Mathematics Department at Universite de Savoie Chambery, France