|
Theoretical Computer Science Faculty of Mathematics and Computer Science Jagiellonian University |
| Foundations of Computer Science |
| guest |
| TCS - home |
| algorithmics |
| cs foundations |
| news |
| forum |
| photos |
| usosweb (pl) |
| links |
| events: |
| computer science on trail (pl) |
| UZI - October 11, 2008 (pl) |
| 2PCC - October 17-23, 2008 |
| CLA 2008 |
| past events |
| seminars: |
| Computer Science Foundations |
| Generating Functions Seminar |
| faculty: |
| Jakub Kozik |
| Stanisław Sędziwy |
| Edward Szczypka |
| Paweł Waszkiewicz |
| Marek Zaionc |
| secretary: |
| Monika Gillert |
| phd students: |
| Jarosław Duda |
| Katarzyna Grygiel |
| Jarosław Karpiak |
| Mateusz Kostanek |
| Mikołaj Pudo |
| graduates: |
| phd thesis |
| msc thesis |
Jakub KozikPhD
students info |
| research interests |
| asymptotic densities |
| logic |
| analytic combinatorics |
| selected publications |
On the density and the structure of the Peirce-like formulae, [Fifth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities (to be published in DMTCS)] |
Subcritical pattern languages for and/or trees [Fifth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities (to be published in DMTCS)] |
Intuitionistic vs. Classical Tautologies, Quantitative Comparison, [TYPES 2007, Lecture Notes in Computer Science 4941 (2008) pp. 100-109.] |
Undecidable problems concerning densities of languages, [Computational Logic and Applications, CLA 05, David, Rene and Gardy, Daniele and Lescanne, Pierre and Zaionc, Marek (eds.), Discrete Mathematics and Theoretical Computer Science (Proceedings AF), pp. 69-76] |
Conditional Densities of Regular Languages, [Electronic Notes in Theoretical Computer Science , 140(2005), 67-79] |
| short cv | |||
| 2002 | M.S. (computer science) | Jagiellonian University | Krakow, Poland |
| 2006 | PhD (computer science) | Jagiellonian University | Krakow, Poland |
| 2007 | Three months visit at Computer Science Department | Universite de Versailles Saint-Quentin-en-Yvelines | France |