 |
 |
 |
 |
 |
 |
 |
 |
 |
Curriculum Vitae(a version in English is also available) Imię: Paweł
Wykształcenie1992 - matura w V L.O. w Krakowie - klasa o profilu matematycznym "uniwersytecka" (finalista etapu ogólnopolskiego Olimpiady Matematycznej w roku 1990) 1997 - magisterium z matematyki na Uniwersytecie Jagiellońskim (dyplom z wyróżnieniem); temat pracy magisterskiej: Macierze połączeń dla rozkładów Morse'a; promotor: prof. dr hab. Roman Srzednicki 1999 - magisterium z informatyki na Uniwersytecie Jagiellońskim (dyplom z wyróżnieniem); temat pracy magisterskiej: Obliczanie homologii kompleksów łańcuchowych i zbiorów kostkowych; promotor: prof. dr hab. Marian Mrozek 2001 - stopien doktora nauk matematycznych (specjalność: informatyka) na Uniwersytecie Jagiellońskim w Krakowie; opiekun naukowy: prof. dr hab. Marian Mrozek; temat rozprawy: Topologiczny algorytm ścisłej weryfikacji istnienia trajektorii okresowych Znajomość języków obcych:
Znajomość języków programowania:
Stypendia1993-1999 - coroczne stypendium za wyniki w nauce podczas studiów na kierunku matematyka (do 1997 r.) i informatyka (od 1997 r.) 1997-1999 - stypendium doktoranckie 2006-2007 - stypendium Japan Society for the Promotion of Science na prowadzenie pracy naukowej w Japonii przez okres 13 miesięcy Zatrudnienie1999-2006 - asystent w Instytucie Informatyki Uniwersytetu Jagiellońskiego w Krakowie, Katedra Metod Numerycznych 2001-2003, 2005-2006 - praca na stanowisku Visiting Assistant Professor w School of Mathematics na Georgia Institute of Technology (GaTech) w Atlancie (U.S.A.) od 2008 - praca na stanowisku badawczym w topologii algebraicznej w Centro de Matemática na Universidade do Minho w Bradze (Portugalia) Prace badawcze1998-2000 - udział w pracach wykonywanych w ramach projektu badawczego finansowanego przez KBN i kierowanego przez prof. dra hab. M. Mrozka pt. Metody topologiczne w komputerowo wspieranych dowodach w teorii układów dynamicznych (nr grantu: 2 P03A 029 12) 2000-2003 - wykonawca w projekcie badawczym finansowanym przez KBN i kierowanym przez prof. dra hab. M. Mrozka pt. Metody topologiczne w ścisłej dynamice obliczeniowej (nr grantu: 2 P03A 011 18) 2001-2002 - główny wykonawca grantu promotorskiego pt. Topologiczny algorytm ścisłej weryfikacji istnienia trajektorii okresowych (kierownik: prof. dr hab. M. Mrozek, nr grantu: 5 P03A 039 20) 2003-2006 - wykonawca w projekcie badawczym finansowanym przez KBN i kierowanym przez prof. dra hab. M. Mrozka pt. Topologia i dynamika obliczeniowa (nr grantu: 2 P03A 041 24) 2006-2007 - Grant-in-Aid for Scientific Research (No. 1434055), Ministry of Education, Science, Technology, Culture and Sports, Japan. Inna działalność naukowaod 2002 - uczestnik projektu Computational Homology Project od 2000 - członek grupy Computer Assisted Proofs in Dynamics group Zainteresowania pozanaukoweTurystyka górska, kolarstwo rekreacyjne, narciarstwo zjazdowe. Fotografia, muzyka klasyczna. Konferencje i staże zagraniczne1996 - udział w międzynarodowej konferencji Topological Methods in Differential Equations and Dynamical Systems w Krakowie 1996 - II nagroda w III Międzynarodowych Zawodach Matematycznych dla Studentów odbywających się w Plovdiv w Bułgarii 1997 - udział w Międzynarodowych Warsztatach na Temat Indeksu Conleya w Warszawie 1998 - udział w sesji roboczej Metody topologiczne w analizie nieliniowej w Międzynarodowym Centrum im. Stefana Banacha w Warszawie 1999 - udział w konferencji Equadiff 99 w Berlinie i wygłoszenie referatu pt. Computer Assisted Proof of the Existence of a Periodic Orbit in the Rössler Equations 2000 - miesięczny staż naukowy w Georgia Institute of Technology w Atlancie, U.S.A. na zaproszenie prof. Konstantina Mischaikowa 2000 - wygłoszenie referatu na seminarium School of Mathematics w Georgia Institute of Technology w Atlancie, U.S.A. 2001 - udział w Second Gilles Fournier Memorial Conference na Uniwersytecie w Sherbrooke'u w Kanadzie 2001 - udział w II Międzynarodowych Warsztatach na Temat Indeksu Conleya w Sherbrooke'u w Kanadzie i wygłoszenie referatu pt. Periodic Trajectories in the Rössler and Lorenz Equations 2001 - udział w konferencji Midwest Dynamical Systems Meeting w University of Colorado at Boulder, U.S.A. 2001 - wygłoszenie serii trzech odczytów na temat artykułu Bounded Recurrence of Critical Points and Jakobson's Theorem autorstwa Stefano Luzzato (Rozdz. 5: Distortion and Recurrence Bounds) na seminarium prowadzonym przez H. Kokubu i K. Mischaikowa w Georgia Institute of Technology w Atlancie, U.S.A. 2002 - wygłoszenie referatu pt. Rigorous Numerics for Attracting Periodic Trajectories in ODEs na Joint Seminar on Dynamical Systems and Nonlinear Analysis na Uniwersytecie w Kioto w Japonii 2002 - udział w konferencji Midwest Dynamical Systems Meeting w University of North Carolina at Asheville, U.S.A. 2002 - wygłoszenie referatu pt. Algorithmic approach to rigorous verification of the existence of periodic solutions to ODEs na Seminaire d'analyse et sujets connexes na Uniwersytecie w Sherbrooke'u w Kanadzie 2002 - tygodniowy staż na Brown University w Providence, RI, U.S.A., oraz wygłoszenie referatu pt. Combinatorial Approach to ODEs na seminarium Lefschetz Center for Dynamical Systems 2002 - udział w konferencji The Fourth International Conference on Dynamical Systems and Differential Equations w University of North Carolina at Wilmington, U.S.A. i wygłoszenie referatu pt. Topological-Numerical Approach to the Existence of Periodic Trajectories in ODEs 2002 - udział w konferencji Geometric Theory of Dynamical Systems na Uniwersytecie Jagiellońskim w Krakowie 2002 - udział w konferencji New Directions in Dynamical Systems w Ryukoku University i Kyoto University, Japonia 2002 - udział w konferencji Midwest Dynamical Systems Meeting w University of Cincinnati, U.S.A. 2003 - udział w konferencji Maryland-Penn State Workshop on Dynamical Systems and Related Topics w University of Maryland at College Park, U.S.A. i wygłoszenie referatu pt. Algorithmic Homology Computation as a Tool in Dynamics 2003 - udział w konferencji Midwest Dynamical Systems Meeting w Northwestern University w Evanston, IL, U.S.A. 2003 - udział w konferencji Fourth International Conference on Dynamic Systems and Differential Equations w Morehouse College w Atlancie, U.S.A. i wygłoszenie referatu pt. Automatic Computation of the Conley Index. A Cubical Approach 2003 - udział w konferencji Dynamical Systems Denton w University of North Texas in Denton, U.S.A. i wygłoszenie referatu pt. Algorithmic Homology Computation and the Conley Index 2004 - tygodniowy staż naukowy na Uniwersytecie w Osace na zaproszenie prof. Toshiyuki'ego Ogawy 2004 - wygłoszenie serii dwóch odczytów pt. Cubical Homology and its Automatic Computation na Uniwersytecie w Osace w Japonii 2004 - udział w konferencji Kyoto Dynamics Days 3 na Uniwersytecie w Kioto w Japonii 2004 - udział w konferencji Workshop on Dynamics and Computations odbywającej się w Shonan International Center in Kanagawa Prefecture w Japonii i wygłoszenie referatu pt. Cubical Approach to the Computation of the Homology of Continuous Maps 2004 - udział w Szkole na temat układów dynamicznych w Będlewie i wygłoszenie wykładu pt. Komputerowo wspierane metody topologiczne w układach dynamicznych 2005 - udział w Szkole na temat układów dynamicznych w Będlewie 2005 - udział w konfernecji Workshop in Dynamical Systems and Related Topics w Penn State University w State College, PA, U.S.A. 2005 - udział w konferencji Midwest Dynamical Systems Seminar w Northwestern University w Evanston, IL, U.S.A. 2006 - udział w konferencji Computational Homology and Materials Science Workshop w Georgia Institute of Technology w Atlancie, GA, U.S.A. i wygłoszenie wykładu Computational Homology Project w sesji szkoleniowej pt. Computational Homology Tutorial 2006 - udział w konferencji Maryland-Penn State Workshop on Dynamical Systems and Related Topics w University of Maryland at College Park, U.S.A. 2006 - udział w konferencji Dynamics, Topology and Computations w Będlewie (Polska) i wygłoszenie referatu pt. Cubical Index Pairs and the Excision Property oraz prezentacja oprogramowania Computational Homology Project 2006 - udział w konferencji Sixth International Conference on Dynamical Systems and Differential Equations w Poitiers (Francja) i wygłoszenie referatu pt. An Automated Method for the Analysis of a Multi-Parameter Family of Dynamical Systems 2006 - udział w RIMS Symposium on Pattern Formation Problems in Dissipative Systems w Kioto (Japonia) i wygłoszenie referatu pt. Automatic Homology Computation with Application to Pattern Classification 2006 - wykład pt. Algorithmic approach to the computation of homology of spaces and maps na Colloquium Wydziału Matematyki Uniwersytetu w Kioto (Japonia) 2006 - wygłoszenie serii dwóch wykładów pt. Algorithms and software for the cubical homology computation na Hokkaido University w Sapporo (Japonia) 2006 - wykład pt. Computing the Homology of Cubical Sets and Maps na warsztatach Topology and Computers 2006 w Osace (Japonia) 2006 - wykład pt. Computational Dynamics and Cubical Homology na Kyoto Interdisciplinary Dynamics Seminar (KIDS) na Uniwersytecie w Kioto (Japonia) 2007 - wykład pt. A Computer Assisted Approach to the Continuation of Morse Decompositions na Winter Dynamical Systems Workshop w Graduate School of Mathematical Sciences na Universytecie w Tokio (Japonia) 2007 - wykład pt. Continuation of Morse Decompositions - an Algorithmic Approach na międzynarodowych warsztatach pt. Workshop on Topological and Computational Approaches to Dynamical Systems and Applications na Uniwersytecie Ryukoku w Kioto (Japonia) 2007 - 10-dniowy staż na Uniwersytecie Hokkaido w Sapporo (Japonia) oraz udział w międzynarodowej konferencji dla uczczenia 60. urodzin Y. Pesina and Y. Takahashi'ego pt. Dynamics of Complex Systems - Mathematical Modeling, Method and Prediction 2007 - wykład pt. Computational Homology Project na 4. Warsztatach Mathematical Software and Free Documents na Uniwersytecie Saitama w pobliżu Tokio (Japonia) 2007 - tygodniowy staż na Rutgers University w Nowym Brunswicku (New Jersey, U.S.A.) oraz wygłoszenie referatu pt. Combinatorial Analysis of Dynamical Systems na Nonlinear Analysis and PDEs Seminar 2007 - wykład pt. Computational Approach to Algebraic Topology: Cubical Homology na Dynamical Systems Seminar w National Center for Theoretical Sciences, Math. Division, National Tsing Hua University w Hsinchu (Tajwan) 2007 - wykład pt. Combinatorial Approach to Dynamics and Morse Decompositions (invited speaker) na NCTS Workshop on Dynamical Systems w National Tsing-Hua University w Hsinchu (Tajwan) 2007 - wykład pt. Automated Analysis of Dynamical Systems with the Use of Graph Algorithms na seminarium wydziałowym Faculty of Integrated Arts and Sciences na Uniwersytecie w Hiroszimie (Japonia) 2007 - wykład pt. Computational Homology Project (invited speaker) na 16. Zjeździe Japan Society for Symbolic and Algebraic Computation w Kuraszikach (Japonia) 2007 - wykład pt. Computer Assisted Analysis of Global Dynamics via Morse Decompositions (invited speaker) na RIMS Workshop on New Trends of Dynamical Systems and its Applications w Kioto (Japonia) 2007 - wykład pt. The CHomP Software Advanced Features na JSIAM Summer Seminar on Applied Mathematics "Computational Homology: Theory and Applications" na Hokkaido University w Sapporo (Japonia) 2007 - wykład pt. Automatic Topological-Combinatorial Analysis of Global Dynamics na seminarium na temat układów dynamicznych na Wydziale Mathematyki Uniwersytetu w Porto (Portugalia) 2008 - wykład pt. Quantitative hyperbolicity estimates in one-dimensional dynamics na International Workshop on Computer Assisted Proofs in Nonlinear Dynamics w Imperial College w Londynie (Wielka Brytania) 2008 - 5-dniowy staż naukowy na Wydziale Matematyki Uniwersytetu w Bergen (Norwegia) oraz wygłoszenie referatu pt. Cataloguing global dynamics in multi-parameter systems na seminarium CAPA (Computer-Aided Proofs in Analysis) 2008 - wykład pt. Databases for the global dynamics of multi-parameter systems na Computational Topology and Dynamics Workshop w Montana State University w Bozeman (U.S.A.) 2008 - wykład pt. Computational-topological approach to the classification of global dynamics of multi-parameter systems na międzynarodowej konferencji Dynamics & Applications na University of Minho w Bradze (Portugalia) 2008 - miesięczny staż naukowy w Instytucie Matematyki Kyoto University (Japonia) 2008 - krótki referat pt. Automatic classification of global dynamics of multi-parameter systems na warsztatach pt. New Development in the Study of Dynamical Systems beyond Uniform Hyperbolicity w Research Institute of Mathematical Sciences w Kyoto (Japonia) 2008 - wykład pt. The Computational Homology Project (CHomP) and its software for mathematical computing na First Global COE Seminar on Mathematical Research Using Computers w Instytucie Matematyki Kyoto University (Japonia) 2008 - wykład plenarny pt. The Computational Homology Project (CHomP) and its software for the digital image analysis (invited speaker) na międzynarodowych warsztatach Computational Algebraic Topology within Image Context na Wydziale Matematyki Stosowanej I Uniwersytetu w Sewilli (Hiszpania) Działalność dydaktycznaTopologia algebraiczna w ujęciu obliczeniowym (TAO, 30 godz.) - ćwiczenia do wykładu prof. dra hab. M. Mrozka: 1997/98, 1998/99, 1999/2000, 2000/01, 2003/04 Algorytmiczna teoria układów dynamicznych (AUD, 30 godz.) - ćwiczenia do wykładu prof. dra hab. M. Mrozka: 1997/98, 1998/99, 1999/2000, 2000/01, 2003/04 Matematyka (kurs mały) na kierunku Biologia (45 godz.) - ćwiczenia do wykładu dra hab. Antoniego Dawidowicza: 1997/98, 1998/99 Metody numeryczne algebry (MNA, 30 godz.) - ćwiczenia do wykładu dra hab. Janusza Traple: 1999/2000 (2 grupy), 2000/01 Analiza matematyczna 1 (AM1, 60 godz.) - ćwiczenia do wykładu doc. dra hab. Marka Pałasińskiego: 1999/2000, 2000/01 Równania cząstkowe klasyczne (RCK, 30 godz.) - ćwiczenia do wykładu prof. dra hab. Stanisława Sędziwego: 2000/01 Równania wariacyjne (RW, 30 godz.) - ćwiczenia do wykładu dra hab. Stanisława Migórskiego: 2000/01 Teoria programowania (TP, 30 godz.) - ćwiczenia do wykładu dra hab. Marka Zaionca: 2000/01 Analiza matematyczna III dla informatyków (Math 2601, 42 godz.) - wykład na Georgia Tech: semestr jesienny 2001 Wstęp do algebry liniowej pod kątem analizy matematycznej (Math 1522, 42 godz.) - wykład na Georgia Tech: semestr wiosenny 2002, semestr jesienny 2002 (2 grupy) Programowanie (P, 30 godz.) - ćwiczenia do wykładu prof. dra hab. Mariana Mrozka: 2003/04 (2 grupy) Programowanie 1 (P1, 30 godz.) - ćwiczenia do wykładu prof. dra hab. Mariana Mrozka: 2003/04 (3 grupy), 2004/05 (2 grupy) Programowanie 2 (P2, 30 godz.) - ćwiczenia do wykładu prof. dra hab. Mariana Mrozka: 2004/05 (2 grupy w semestrze zimowym, 2 grupy w semestrze letnim) Algorytmy algebry homologicznej i zbiorów kostkowych (AAH, 30 godz.) - ćwiczenia do wykładu prof. dra hab. Mariana Mrozka: 2004/05 Równania różniczkowe (Math 2403, 42 godz.) - wykład na Georgia Tech: semestr jesienny 2005, semestr wiosenny 2006 |