|
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 |
Jarosław Karpiakmaster of science
|
| research interests |
| computability theory |
| typed lambda calculus |
| dynamical systems |
| homology theory |
| short cv | |||
| 2000 - 2005 | MSc Computer Science | Jagiellonian University | Kraków, Poland |
| 2003 - 2008 | MSc Mathematics | Jagiellonian University | Kraków, Poland |
| 2005 - Now | PhD student (Computer Science) | Jagiellonian University | Kraków, Poland |