prof. dr hab. Paweł Idziak
Jednostki:
- Wydział Matematyki i Informatyki UJ
- Instytut Informatyki Analitycznej
- Katedra Algorytmiki
Publikacje:
11.
Intermediate problems in modular circuits satisfiability, (2020), "LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science", Association for Computing Machinery (ACM)
10.
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), "43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
9.
Satisfiability in multi-valued circuits, (2018), "Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'18)", Association for Computing Machinery (ACM)
8.
How big is BCI fragment of BCK logic, J LOGIC COMPUT vol. 23(3) (2013), 673-691
7.
Paweł Idziak, Irena Katarzyna Korwin-Słomczyńska, Andrzej Wroński
The commutator in equivalential algebras and Fregean varieties, ALGEBR UNIV vol. 65 (2011), 331-340
6.
Paweł Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote
Tractability and learnabilty arising from algebras with few subpowers, SIAM J COMPUT vol. 39 (2010), 3023-3037
5.
Joel Berman, Paweł Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote, Ross Willard
Varieties with few subalgebras of powers, T AM MATH SOC vol. 362 (2010), 1445-1473
4.
Paweł Idziak, Ralph McKenzie, Matthew Valeriote
The structure of locally finite varieties with polynomially many models, J AM MATH SOC vol. 22 (2009), 119-165
3.
Paweł Idziak, Keith Kearnes, Emil Kiss, Matthew Valeriote
Definable principal congruences and solvability, ANN PURE APPL LOGIC vol. 157 (2009), 30-49
2.
Paweł Idziak, Irena Katarzyna Korwin-Słomczyńska
Fregean Varieties, INT J ALGEBR COMPUT vol. 19 (2009), 595–645
1.
Joel Berman, Paweł Idziak
Generative Complexity in Algebra, MEM AM MATH SOC vol. 175 (2005), 1-168
Doktoranci (po 27 października 2003 roku)
Doktorant | Otwarcie | Zakonczenie |
---|---|---|
Lech Duraj | 2008-06-26 | 2010-12-16 |
Grzegorz Gutowski | 2009-09-24 | 2012-03-29 |
Andrzej Pezarski | 2009-06-25 | |
Michał Staromiejski | 2010-12-16 | 2013-05-23 |
Bartosz Walczak | 2010-12-16 | 2012-12-20 |
Bartłomiej Bosek | 2006-06-29 | 2008-12-18 |
Piotr Micek | 2006-06-29 | 2008-10-30 |
Jan Jeżabek | 2008-10-30 | 2009-11-26 |
Przemysław Broniek | 2007-06-28 | 2008-12-18 |
Kamil Kloch | 2006-09-28 | 2008-12-18 |
Jacek Krzaczkowski | 2006-09-28 | 2008-12-18 |
Edward Szczypka | 2004-04-29 | 2006-05-25 |
Iwona Cieślik | 2005-06-23 | 2006-09-28 |
Grzegorz Matecki | 2005-01-27 | 2006-11-30 |
Maciej Chociej | 2012-05-31 | |
Arkadiusz Pawlik | 2012-06-28 | 2013-12-19 |
Leszek Horwath | 2013-06-27 | |
Adam Polak | 2017-06-29 | 2019-10-11 |
Grzegorz Guśpiel | 2018-05-24 | 2020-07-02 |
Patryk Mikos | 2018-12-20 | 2020-10-22 |
Piotr Kawałek | 2018-12-20 |
Recenzje (po 27 października 2003 roku)
Recenzowany | Jednostka | Treść recenzji |
---|---|---|
Habilitacja: Marcin Kozik | Katedra Algorytmiki | |
Profesura: Marek Zaionc | Katedra Podstaw Informatyki | |
Habilitacja: Mariusz Meszka | ||
Doktorat: Tomasz Krawczyk | Katedra Algorytmiki | |
Profesura: Jarosław Grytczuk | Katedra Algorytmiki | |
Habilitacja: Konrad Pióro |
Granty (realizowane po maju 2009 roku)
Tytuł | Rola | Rozpoczęcie | Zakończenie |
---|---|---|---|
Programiści przyszłości 3.0 | Kierownik | 2018-01-08 | 2019-05-31 |
Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów | Kierownik | 2015-10-01 | 2021-09-30 |
Kolonoskopia -Innowacyjna diagnostyka umożliwiająca personalizacje procesu leczenia poprzez opracowanie rozwiązania wspomagające badania kolonoskopowe, podnoszącego wykrywalność stanów przedrakowych nowotworów jelita grubego o niskim stadium zaawansowania | Wykonawca | 2014-07-01 | 2017-12-31 |
Koszty koordynacji i przepływu - Śledzenie poruszających się osób w monitorowanych strefach | Kierownik | 2010-09-17 | 2013-09-16 |
DATALOG w Problemie Spełnialności Więzów | Wykonawca | 2011-12-07 | 2015-06-06 |
Śledzenie poruszających się osób w monitorowanych strefach | Kierownik | 2010-09-17 | 2013-09-16 |
Algorytmy on-line i gry kombinatoryczne | Wykonawca | 2010-04-14 | 2012-10-13 |
On-line clique covering of interval graphs | Kierownik | 2010-03-24 | 2012-08-08 |