ďťż
Zakład Logiki Matematycznej
Wydział Matematyki i Informatyki
Uniwersytet im. A. Mickiewicza w Poznaniu
  Strona główna       Pracownicy       Doktoranci    
  Konferencje Filozofia Matematyki       Archiwum   Ciekawostki     Logika w sieci    
               

Dane osobowe       Kariera naukowa       Konferencje       Artykuły       Zakres badań
Inna działalność

Michał
Kozak
Dr Michał Kozak


      DANE OSOBOWE

Imię Michał
Nazwisko Kozak
Data urodzenia 21 czerwiec 1978
Stopień naukowy Doktor
Hobby Turystyka górska, żeglarstwo, fotografia, piłka nożna, szachy

      KARIERA NAUKOWA

1998-2003 Studia na Wydziale Matematyki i Informatyki UAM w Poznaniu
2003 Magister informatyki. Wydział Matematyki i Informatyki UAM w Poznaniu.
Praca magisterska: Rozproszona baza danych ze schematem podziału sekretu 
Promotor: Prof. dr hab. Jerzy Jaworski
od 2003 Studia doktoranckie na Wydziale Matematyki i Informatyki UAM w Poznaniu

      KONFERENCJE

23-25 września 2005 Trends in Logic III International Conference in memoriam
A. Mostowski, H. Rasiowa, C. Rauszer, Warszawa, Ruciane-Nida.
8-12 maja 2006 XI Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba.
8-11 września 2008 Logic, Algebra and Truth Degrees, First conference of the working group on Mathematical Fuzzy Logic, Siena, Włochy (referat: Distributive Full Lambek Calculus Has the Finite Model Property).
21-22 marca 2009 Shanks Workshop on Ordered Groups in Logic, Nashville, USA (referat: Cyclic Involutive Distributive Full Lambek Calculus Is Decidable).
6-7 lipca 2009 Workshops as part of Tableaux 2009, The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oslo, Norwegia.

      ARTYKUŁY

Distributive Full Lambek Calculus Has the Finite Model Property Studia Logica, 91, 201-216, 2009. (pdf)

      ZAKRES BADAŃ

  Logika metematyczna w informatyce  

      INNA DZIAŁALNOŚĆ

Członek Polskiego Towarzystwa Logiki i Filozofii Nauki (od 2005)
Skarbnik w latach 2006 - 2008