 |
 |
 |
 |
 |
 |
 |
 |
 |
Curriculum Vitae(a version in English is also available) Imię: Paweł
Wykształcenie2001 - stopien doktora nauk matematycznych (specjalność: informatyka) na Uniwersytecie Jagiellońskim w Krakowie; temat rozprawy: Topologiczny algorytm ścisłej weryfikacji istnienia trajektorii okresowych; opiekun naukowy: prof. dr hab. Marian Mrozek 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 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 1992 - matura w V L.O. w Krakowie - klasa o profilu matematycznym "uniwersytecka" (finalista etapu ogólnopolskiego Olimpiady Matematycznej w roku 1990) Znajomość języków obcych:
Znajomość języków programowania:
Stypendia i zatrudnienielipiec 2008 – czerwiec 2013: praca na stanowisku badawczym w topologii algebraicznej w Centro de Matemática na Universidade do Minho w Bradze (Portugalia) wrzesień 2006 – czerwiec 2008: niezależny matematyk (tzw. bezrobotny) sierpień 2006 – wrzesień 2007: stypendium Japan Society for the Promotion of Science na prowadzenie pracy naukowej w Instytucie Matematyki na Uniwersytecie Kioto w Japonii przez okres 13 miesięcy sierpień 2001 – czerwiec 2003, sierpień 2005 – czerwiec 2006: praca na stanowisku visiting assistant professor w School of Mathematics na Georgia Institute of Technology (GaTech) w Atlancie (U.S.A.) październik 1999 – sierpień 2006: asystent w Instytucie Informatyki Uniwersytetu Jagiellońskiego w Krakowie, Katedra Metod Numerycznych październik 1997 – wrzesień 1999: stypendium doktoranckie październik 1997 – czerwiec 1999: coroczne stypendium za wyniki w nauce podczas studiów na kierunku informatyka październik 1993 – czerwiec 1997: coroczne stypendium za wyniki w nauce podczas studiów na kierunku matematyka Projekty badawcze2011-2015 - uczestnik projektu Applied and Computational Algebraic Topology (ACAT) zorganizowanego w ramach działalności European Science Foundation (ESF). 2010-2013 - członek zespołu badawczego w projekcie pt. "Algebraic Topology and Applications" (grant nr PTDC/MAT/098317/2008) 2010-2013 - główny wykonawca projektu pt. "Computational Cohomology and Applications" (grant nr PTDC/MAT/098871/2008) 2006-2007 - Grant-in-Aid for Scientific Research przyznany przez Ministry of Education, Science, Technology, Culture and Sports, Japan 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) 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) 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) 1998-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) Międzynarodowe projekty naukoweod 2002 - uczestnik projektu Computational Homology Project; autor znacznej części sztandarowego oprogramowania CHomP, projektant i webmaster witryny internetowej projektu od 2000 - członek grupy Computer Assisted Proofs in Dynamics group; współtwórca oprogramowania CAPD od 2006 - członek projektu Conley-Morse-Database; twórca pierwszej wersji oprogramowania (cmgraphs), współautor publikacji stanowiącej podstawę teoretyczną projektu, aktywny uczestnik procesu tworzenia nowej wersji oprogramowania (conely-morse-database) Komitety naukowe2012 - członek Komitetu Programowego na Fourth International Workshop on Computational Topology in Image Context (CTIC 2012) odbywającego się w Bertinoro (Włochy) 2010 - członek Komitetu Programowego na Third International Congress on Mathematical Software (ICMS 2010 - developers meeting) odbywającego się na Uniwersytecie w Kobe (Japonia) 2010 - członek Komitetu Programowego na Third International Workshop on Computational Topology in Image Context (CTIC 2010) odbywającego się w Chipionie (Hiszpania) Staże naukowe2011 - University of Vigo, Hiszpania (4 dni) 2011 - Universidad Carlos III de Madrid, Hiszpania (4 dni) 2011 - Politechnika Gdańska (2 tygodnie) 2010 - Universidad Carlos III de Madrid, Hiszpania (1 tydzień) 2010 - Kyoto University, Japonia (6 dni) 2010 - University of Vigo, Hiszpania (2 dni) 2010 - Kyoto University, Japonia (19 dni) 2010 - Lisbon University, Portugalia (1 dzień) 2010 - Politechnika Gdańska (10 dni) 2010 - Kyoto University, Japonia (14 dni) 2009 - Lisbon University, Portugalia (1 dzień) 2009 - Politechnika Gdańska (1 tydzień) 2009 - Imperial College, Londyn, Wielka Brytania (5 dni) 2008 - Kyoto University, Japonia (1 miesiąc) 2008 - Bergen University, Norwegia (5 dni) 2007 - Hiroshima University, Japan (10 dni) 2007 - Rutgers University, New Brunswick, NJ, U.S.A. (7 dni) 2007 - Hokkaido University, Sapporo, Japonia (10 dni) 2006 - Hokkaido University, Sapporo, Japonia (8 dni) 2004 - Osaka University, Japonia (1 tydzień) 2002 - Sherbrooke University, Canada (5 days) 2002 - Brown University, Providence, RI, U.S.A. (1 tydzień) 2000 - Georgia Institute of Technology, Atlanta, GA, U.S.A. (1 miesiąc) Referaty dot. własnych wyników na seminariach uczelnianych2010 - A computational method for automatic analysis of global dynamics of multi-parameter systems, Department of Physics, Universidad Carlos III de Madrid, Hiszpania 2010 - A database schema for the analysis of global dynamics of multi-parameter systems, Department of Applied Mathematics, University of Vigo, Hiszpania 2010 - Finite resolution dynamics, Dynamical Systems Seminar, Department of Mathematics, Kyoto University, Japonia 2010 - Komputerowa analiza dynamiki globalnej w układach dynamicznych zależnych od kilku parametrów, Seminarium Wydziałowe Matematyków, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska 2009 - A database schema for the analysis of global dynamics of multi-parameter systems, Seminario de sistemas dinamicos, Centro de Matematica e Aplicaçoes Fundamentais, Universidade de Lisboa, Portugal 2009 - A method for automatic classification of global dynamics in multi-parameter systems, Dynamical Systems Seminar, Mathematics Department, Imperial College, Londyn, Wielka Brytania 2009 - An algorithm for the classification of global dynamics of multi-parameter systems, Seminário em Análise, Geometria e Física-Matemática, University of Minho, Braga, Portugalia 2008 - Cataloguing global dynamics in multi-parameter systems, Computer-Aided Proofs in Analysis (CAPA) seminar, Mathematics Department, Bergen University, Norwegia 2007 - Automatic topological-combinatorial analysis of global dynamics, Dynamical Systems Seminar, Mathematics Department, University of Porto, Portugalia 2007 - Computational dynamics, Faculty of Integrated Arts and Sciences, Kyushu University, Fukuoka, Japonia 2007 - Automated analysis of dynamical systems with the use of graph algorithms, Faculty of Integrated Arts and Sciences, Hiroshima University, Japonia 2007 - Computational approach to algebraic topology: cubical homology, Dynamical Systems Seminar, National Center for Theoretical Sciences, Math. Division, National Tsing Hua University, Hsinchu, Tajwan 2007 - Combinatorial analysis of dynamical systems, Nonlinear Analysis and PDEs Seminar, Rutgers University, New Brunswick, NJ, U.S.A. 2006 - Computational dynamics and cubical homology, Kyoto Interdisciplinary Dynamics Seminar (KIDS), Kyoto Uniersity, Japonia 2006 - Algorithms and software for the cubical homology computation (seria dwóch wykładów), Hokkaido University, Sapporo, Japonia 2006 - Algorithmic approach to the computation of homology of spaces and maps, Colloquium Wydziału Matematyki, Kyoto University, Japonia 2005 - Współbieżny algorytm konstrukcji par indeksowych, Dynamika symboliczna i obliczeniowa (seminarium), Instytut Informatyki, Uniwersytet Jagielloński, Kraków 2004 - Cubical Homology and its Automatic Computation (seria dwóch odczytów), Uniwersytet w Osace, Japonia 2003 - Algorytm konstrukcji kostkowych par indeksowych, Dynamika symboliczna i obliczeniowa (seminarium), Instytut Informatyki, Uniwersytet Jagielloński, Kraków 2003 - Algorytm obliczania odwzorowań indukowanych w homologiach, Dynamika symboliczna i obliczeniowa (seminarium), Instytut Informatyki, Uniwersytet Jagielloński, Kraków 2002 - Combinatorial approach to ODEs, Lefschetz Center for Dynamical Systems, Brown University, Providence, RI, U.S.A. 2002 - Algorithmic approach to rigorous verification of the existence of periodic solutions to ODEs, Seminaire d'analyse et sujets connexes, Uniwersytet w Sherbrooke'u, Kanada 2002 - Rigorous numerics for attracting periodic trajectories in ODEs, Joint Seminar on Dynamical Systems and Nonlinear Analysis, Uniwersytet w Kioto, Japonia 2001 - Topologiczny algorytm ścisłej weryfikacji istnienia trajektorii okresowych, Wydział Matematyki i Informatyki, Uniwersytet im. Adama Mickiewicza, Poznań 2000 - Komputerowo wspierane dowodzenie istnienia orbit okresowych w ciągłych układach dynamicznych oraz kontynuacja: Topologiczny algorytm ścisłej weryfikacji istnienia trajektorii okresowych, Równania różniczkowe i zagadnienia pokrewne (seminarium), Instytut Matematyki, Uniwersytet Jagielloński, Kraków 2000 - Computer assisted proof of the existence of a periodic orbit in the Rössler equations, School of Mathematics, Georgia Institute of Technology, Atlanta, GA, U.S.A. 1999 - Komputerowo wspierany dowód istnienia trajektorii okresowej w równaniach Rösslera, Dynamika symboliczna i obliczeniowa (seminarium), Instytut Informatyki, Uniwersytet Jagielloński, Kraków 1999 - Obliczanie homologii kompleksów łańcuchowych i zbiorów kostkowych, Dynamika symboliczna i obliczeniowa (seminarium), Instytut Informatyki, Uniwersytet Jagielloński, Kraków 1999 - Obliczanie homologii kompleksów łańcuchowych i zbiorów kostkowych, Równania różniczkowe i zagadnienia pokrewne (seminarium), Instytut Matematyki, Uniwersytet Jagielloński, Kraków Referaty na konferencjach i warsztatach2011 - Finite resolution dynamics based on open covers, zaproszony do mini-sympozjum Computational Approach to Global Dynamics, 7th International Congress on Industrial and Applied Mathematics (ICIAM), Vancouver, BC, Kanada 2011 - Set-oriented numerical analysis of difference equations with parameters (invited speaker), Future Directions in Difference Equations, Vigo, Hiszpania 2010 - prezentacja posteru The Computational Homology Project - CHomP oraz sesja szkoleniowa na temat oprogramowania CHomP, 3rd International Congress on Mathematical Software (ICMS 2010 - developers meeting), Kobe University, Japonia 2010 - Automatic computation of the Conley index. Algorithms and applications, Special Session on Topological Invariants in Dynamical Systems, 8th AIMS Conference on Dynamical Systems, Differential Equations and Applications, Drezno, Niemcy 2009 - Finite resolution dynamics based on open covers, Dynamics, Topology and Computations (DyToComp 2009), Będlewo, Polska 2009 - Automatic analysis of global dynamics in multi-parameter families of difference equations (invited speaker; wykład plenarny), Progress on Difference Equations 2009, Będlewo, Polska 2009 - A rigorous numerical method for estimating uniform expansion rates in one-dimensional dynamics (invited speaker), Dynamic Day in Porto, Department of Pure Mathematics, University of Porto, Portugalia 2008 - The Computational Homology Project (CHomP) and its software for the digital image analysis (invited speaker), Computational Algebraic Topology within Image Context, Department of Applied Mathematics I, University of Seville, Hiszpania 2008 - The Computational Homology Project (CHomP) and its software for mathematical computing, First Global COE Seminar on Mathematical Research Using Computers, Department of Mathematics, Kyoto University, Japonia 2008 - Automatic classification of global dynamics of multi-parameter systems (krótki komunikat), New Development in the Study of Dynamical Systems beyond Uniform Hyperbolicity, Research Institute of Mathematical Sciences, Kyoto, Japan 2008 - Computational-topological approach to the classification of global dynamics of multi-parameter systems, Dynamics & Applications, University of Minho, Braga, Portugalia 2008 - Databases for the global dynamics of multi-parameter systems, Computational Topology and Dynamics Workshop, Montana State University, Bozeman, MT, U.S.A. 2008 - Quantitative hyperbolicity estimates in one-dimensional dynamics, International Workshop on Computer Assisted Proofs in Nonlinear Dynamics, Imperial College, Londyn, Wielka Brytania 2007 - The CHomP software advanced features, JSIAM Summer Seminar on Applied Mathematics "Computational Homology: Theory and Applications", Hokkaido University, Sapporo, Japonia 2007 - Computer assisted analysis of global dynamics via Morse decompositions (invited speaker), RIMS Workshop on New Trends of Dynamical Systems and its Applications, Kyoto, Japan 2007 - Computational Homology Project (invited speaker), 16th Meeting of the Japan Society for Symbolic and Algebraic Computation, Kurashiki, Japonia 2007 - Combinatorial approach to dynamics and Morse decompositions (invited speaker), NCTS Workshop on Dynamical Systems, National Tsing-Hua University, Hsinchu, Tajwan 2007 - Computational Homology Project, 4th workshop Mathematical Software and Free Documents, Saitama University w pobliżu Tokio, Japonia 2007 - Continuation of Morse decompositions - an algorithmic approach, Workshop on Topological and Computational Approaches to Dynamical Systems and Applications, Ryukoku University, Kyoto, Japonia 2007 - A computer assisted approach to the continuation of Morse decompositions, Winter Dynamical Systems Workshop, Graduate School of Mathematical Sciences, University of Tokyo, Japonia 2006 - Computing the homology of cubical sets and maps, Topology and Computers 2006, Osaka, Japonia 2006 - Automatic homology computation with application to pattern classification, RIMS Symposium on Pattern Formation Problems in Dissipative Systems, Kioto, Japonia 2006 - An automated method for the analysis of a multi-parameter family of dynamical systems, Sixth International Conference on Dynamical Systems and Differential Equations, Poitiers, Francja 2006 - prezentacja pakietu oprogramowania CHomP, Dynamics, Topology and Computations (DyToComp 2006), Będlewo 2006 - Cubical index pairs and the excision property, Dynamics, Topology and Computations, Będlewo 2006 - Computational Homology Project (w sesji szkoleniowej Computational Homology Tutorial Session), Computational Homology and Materials Science Workshop, Georgia Institute of Technology in Atlanta, GA, U.S.A. 2004 - Komputerowo wspierane metody topologiczne w układach dynamicznych, Szkoła na temat układów dynamicznych, Będlewo 2004 - Cubical approach to the computation of the homology of continuous maps, Workshop on Dynamics and Computations, Shonan International Center in Kanagawa Prefecture, Japonia 2003 - Algorithmic homology computation and the Conley index, Dynamical Systems, University of North Texas in Denton, TX, U.S.A. 2003 - Automatic computation of the Conley index. A cubical approach, Fourth International Conference on Dynamic Systems and Differential Equations, Morehouse College, Atlanta, GA, U.S.A. 2003 - Algorithmic homology computation as a tool in dynamics, Maryland-Penn State Workshop on Dynamical Systems and Related Topics, University of Maryland at College Park, U.S.A. 2002 - Topological-numerical approach to the existence of periodic trajectories in ODEs, The Fourth International Conference on Dynamical Systems and Differential Equations, University of North Carolina at Wilmington, U.S.A. 2001 - Periodic trajectories in the Rössler and Lorenz equations, Second Workshop on the Conley Index and Related Topics, Uniwersytet w Sherbrooke'u, Kanada 1999 - Computer assisted proof of the existence of a periodic orbit in the Rössler equations, Equadiff 99, Berlin, Niemcy Udział w konferencjach i warsztatach bez wygłaszania referatu2010 - Second Developers Workshop on the Conley-Morse Database Project (aktywny uczestnik dyskusji), Department of Mathematics, Kyoto University, Japan 2010 - 3rd International Workshop on Computational Topology in Image Context (CTIC 2010), Chipiona, Hiszpania 2010 - First Developers Workshop on the Conley-Morse Database Project (aktywny uczestnik, m.in. przewodniczący znacznej części dyskusji), Department of Mathematics, Kyoto University, Japan 2007 - Dynamics of Complex Systems - Mathematical Modeling, Method and Prediction, Hokkaido University, Sapporo, Japan 2006 - Maryland-Penn State Workshop on Dynamical Systems and Related Topics, University of Maryland at College Park, U.S.A. 2005 - Midwest Dynamical Systems Seminar, Northwestern University in Evanston, IL, U.S.A. 2005 - The 16th Fall meeting of the Workshop in Dynamical Systems and Related Topics, Penn State University in State College, PA, U.S.A. 2005 - Szkoła na temat układów dynamicznych, Będlewo 2004 - Kyoto Dynamics Days, Uniwersytet w Kioto, Japonia 2003 - Midwest Dynamical Systems Meeting, Northwestern University, Evanston, IL, U.S.A. 2002 - Midwest Dynamical Systems Meeting, University of Cincinnati, U.S.A. 2002 - New Directions in Dynamical Systems, Ryukoku University i Kyoto University, Kioto, Japonia 2002 - Geometric Theory of Dynamical Systems, Uniwersytet Jagielloński, Kraków 2002 - Midwest Dynamical Systems Meeting, University of North Carolina at Asheville, U.S.A. 2001 - Midwest Dynamical Systems Meeting, University of Colorado at Boulder, U.S.A. 2001 - Second Gilles Fournier Memorial Conference, Uniwersytet w Sherbrooke'u, Kanada 1998 - Metody topologiczne w analizie nieliniowej, Międzynarodowe Centrum im. Stefana Banacha w Warszawie 1997 - Workshop on the Conley Index and Related Topics, Warszawa 1996 - Topological Methods in Differential Equations and Dynamical Systems, Kraków Nagrody i wyróżnienia1996 - II nagroda w III Międzynarodowych Zawodach Matematycznych dla Studentów, Plovdiv, Bułgaria Wybrane osiągnięcia programistycznehttp://chomp.rutgers.edu/advanced/ – CHomP software: autor znacznej części kodu źródłowego (szczegółowa informacja o autorstwie znajduje się w poszczególnych plikach) http://www.pawelpilarczyk.com/finresdyn/ – Finite resolution dynamics: oprogramowanie i wyniki przykładowych obliczeń http://www.pawelpilarczyk.com/cmgraphs/ – Conley-Morse graphs computation software: pierwsza wersja oprogramowania przygotowana do artykułu Databases for the Global Dynamics of Multiparameter Systems http://www.pawelpilarczyk.com/parallel/ – Parallelization method for a continuous property: oprogramowanie, przykłady i zastosowania http://www.pawelpilarczyk.com/unifexp/ – Uniform expansion in one-dimensional maps: oprogramowanie i wyniki obliczeń http://www.pawelpilarczyk.com/excision/ – Excision-preserving approach to the computation of the Conley index: oprogramowanie i dodatkowe materiały Doświadczenie dydaktyczneRównania różniczkowe (Math 2403, 42 godz.) - wykład na Georgia Tech: semestr jesienny 2005, semestr wiosenny 2006 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 Programowanie 1 (P1, 30 godz.) - ćwiczenia do wykładu prof. dra hab. Mariana Mrozka: 2003/04 (3 grupy), 2004/05 (2 grupy) Programowanie (P, 30 godz.) - ćwiczenia do wykładu prof. dra hab. Mariana Mrozka: 2003/04 (2 grupy) 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) Analiza matematyczna III dla informatyków (Math 2601, 42 godz.) - wykład na Georgia Tech: semestr jesienny 2001 Teoria programowania (TP, 30 godz.) - ćwiczenia do wykładu dra hab. Marka Zaionca: 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 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 Topologia 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 Zainteresowania pozanaukoweTurystyka górska, kolarstwo rekreacyjne, narciarstwo zjazdowe. Fotografia, muzyka klasyczna. |