 |
 |
 |
 |
 |
 |
 |
 |
 |
Curriculum Vitae(a version in Polish is also available) Given name: Paweł
Education1992 - high school finals in the 5th High School in Kraków - a class with mathematical profile taught by academic teachers (note: participant of the final stage of the Polish Mathematical Olympiade in 1990) 1997 - M.Sc. in mathematics at the Jagiellonian University (a diploma with distinction); master thesis: Connection Matrices for Morse Decompositions (in Polish); supervisor: Professor Roman Srzednicki 1999 - M.Sc. in computer science at the Jagiellonian University (a diploma with distinction); master thesis: Homology Computation of Chain Complexes and Cubical Sets (in Polish); supervisor: Professor Marian Mrozek 2001 - PhD in mathematics (specialization: computer science) at the Jagiellonian University; advisor: Professor Marian Mrozek; PhD dissertation: A Topological Algorithm for Rigorous Verification of the Existence of Periodic Trajectories (in Polish) Spoken foreign languages:
Programming languages (and what I use them for):
Scholarships and Fellowships1993-1999 - each year: a scholarship for good achievements during the degree course in mathematics (1993-1997) and computer science (1997-1999) 1997-1999 - Ph.D. scholarship 2006-2007 - a fellowship awarded by the Japan Society for the Promotion of Science to conduct research in Japan for a period of 13 months Employment1999-2006 - research and teaching assistant at the Institute of Computer Science of the Jagiellonian University in Kraków (Poland), in the Chair of Numerical Methods 2001-2003, 2005-2006 - Visiting Assistant Professor at the School of Mathematics of Georgia Institute of Technology (GaTech) in Atlanta (USA) 2008-present - researcher in algebraic topology at the Centre of Mathematics of the University of Minho in Braga (Portugal) Research Grants1998-2000 - participant of the research grant directed by Professor Marian Mrozek; title: Topological Methods in Computer-Assisted Proofs in the Theory of Dynamical Systems (grant no.: 2 P03A 029 12) 2000-2003 - contractor in the research grant directed by Professor Marian Mrozek; title: Topological Methods in Rigorous Computational Dynamics (grant no.: 2 P03A 011 18) 2001-2002 - main contractor of the advised Ph.D. grant entitled Topological Algorithm for Rigorous Verification of the Existence of Periodic Trajectories (advisor: Professor Marian Mrozek, grant no.: 5 P03A 039 20) 2003-2006 - contractor in the research grant directed by Professor Marian Mrozek; title: Computational Topology and Dynamics (grant no.: 2 P03A 041 24) 2006-2007 - Grant-in-Aid for Scientific Research (No. 1434055), Ministry of Education, Science, Technology, Culture and Sports, Japan. Research Activitiessince 2002 - participant of the Computational Homology Project since 2000 - member of the Computer Assisted Proofs in Dynamics group HobbiesHiking, cycling, Alpine skiing. Photography, classical music. Conferences, Talks and Visits1996 - participant of the international conference Topological Methods in Differential Equations and Dynamical Systems in Kraków 1996 - awarded Second Prize in the Third International Competition in Mathematics for Students which took place in Plovdiv in Bulgaria 1997 - participant of the international Workshop on the Conley Index and Related Topics in Warsaw 1998 - participant of the workshop Topological Methods in Nonlinear Analysis in the Interational Stefan Banach Center in Warsaw 1999 - participant of the conference Equadiff 99 in Berlin and a contributed talk Computer Assisted Proof of the Existence of a Periodic Orbit in the Rössler Equations 2000 - one-month-long visit to the Georgia Institute of Technology in Atlanta, U.S.A. - invited by Professor Konstantin Mischaikow 2000 - a talk at the seminar of School of Mathematics at the Georgia Institute of Technology in Atlanta, U.S.A. 2001 - participant of the Second Gilles Fournier Memorial Conference at the University of Sherbrooke in Canada 2001 - participant of the Second Workshop on the Conley Index and Related Topics at the University of Sherbrooke in Canada and a contributed talk Periodic Trajectories in the Rössler and Lorenz Equations 2001 - participant of the Midwest Dynamical Systems Meeting at the University of Colorado at Boulder, U.S.A. 2001 - a series of three talks on the paper Bounded Recurrence of Critical Points and Jakobson's Theorem by Stefano Luzzato (Chapter 5: Distortion and Recurrence Bounds) at a working seminar lead by H. Kokubu and K. Mischaikow at the Georgia Institute of Technology in Atlanta, U.S.A. 2002 - a talk Rigorous Numerics for Attracting Periodic Trajectories in ODEs given at the Joint Seminar on Dynamical Systems and Nonlinear Analysis at Kyoto University in Japan 2002 - participant of the Midwest Dynamical Systems Meeting at the University of North Carolina at Asheville, U.S.A. 2002 - a talk Algorithmic approach to rigorous verification of the existence of periodic solutions to ODEs given at Seminaire d'analyse et sujets connexes at the University of Sherbrooke in Canada 2002 - a one-week-long visit to Brown University in Providence, RI, U.S.A., and a talk Combinatorial Approach to ODEs given at a seminar of the Lefschetz Center for Dynamical Systems 2002 - a talk Topological-Numerical Approach to the Existence of Periodic Trajectories in ODEs given at The Fourth International Conference on Dynamical Systems and Differential Equations at the University of North Carolina at Wilmington, U.S.A. 2002 - participant of the conference on Geometric Theory of Dynamical Systems at the Jagiellonian University in Cracow, Poland 2002 - participant of the conference on New Directions in Dynamical Systems at Ryukoku University and Kyoto University, Kyoto, Japan 2002 - participant of the Midwest Dynamical Systems Meeting at the University of Cincinnati, U.S.A. 2003 - a talk Algorithmic Homology Computation as a Tool in Dynamics at the Maryland-Penn State Workshop on Dynamical Systems and Related Topics at the University of Maryland at College Park, U.S.A. 2003 - participant of the Midwest Dynamical Systems Meeting at the Northwestern University in Evanston, IL, U.S.A. 2003 - a talk Automatic Computation of the Conley Index. A Cubical Approach at the Fourth International Conference on Dynamic Systems and Differential Equations at the Morehouse College in Atlanta, GA, U.S.A. 2003 - a talk Algorithmic Homology Computation and the Conley Index at the Conference on Dynamical Systems at the University of North Texas in Denton, TX, U.S.A. 2004 - a one-week-long visit to Osaka University, Japan - invited by Professor Toshiyuki Ogawa 2004 - a series of two talks on Cubical Homology and its Automatic Computation at Osaka University, Japan 2004 - participant of the Kyoto Dynamics Days held at Kyoto University, Japan 2004 - a talk Cubical Approach to the Computation of the Homology of Continuous Maps at the Workshop on Dynamics and Computations in the Shonan International Center in Kanagawa Prefecture, Japan 2004 - a talk Computer-Assisted Topological Methods in Dynamical Systems at the School on Dynamical Systems in Bedlewo, Poland 2005 - participant of the School on Dynamical Systems in Bedlewo, Poland 2005 - participant of the 16th Fall meeting of the Workshop in Dynamical Systems and Related Topics at the Penn State University in State College, PA, U.S.A. 2005 - participant of the Midwest Dynamical Systems Seminar at the Northwestern University in Evanston, IL, U.S.A. 2006 - a talk Computational Homology Project at the Computational Homology Tutorial Session of the Computational Homology and Materials Science Workshop at the Georgia Institute of Technology in Atlanta, GA, U.S.A. 2006 - participant of the Maryland-Penn State Workshop on Dynamical Systems and Related Topics at the University of Maryland at College Park, U.S.A. 2006 - a presentation of the Computational Homology Project software at the international conference Dynamics, Topology and Computations in Bedlewo, Poland 2006 - a talk Cubical Index Pairs and the Excision Property at the international conference Dynamics, Topology and Computations in Bedlewo, Poland 2006 - a talk An Automated Method for the Analysis of a Multi-Parameter Family of Dynamical Systems at the Sixth International Conference on Dynamical Systems and Differential Equations in Poitiers, France 2006 - a talk Automatic Homology Computation with Application to Pattern Classification at the RIMS Symposium on Pattern Formation Problems in Dissipative Systems in Kyoto, Japan 2006 - a talk Algorithmic Approach to the Computation of Homology of Spaces and Maps at the Colloquium of the Department of Mathematics of Kyoto University, Japan 2006 - a series of two talks Algorithms and Software for the Cubical Homology Computation at Hokkaido University in Sapporo, Japan 2006 - a talk Computing the Homology of Cubical Sets and Maps at the workshop Topology and Computers 2006 in Osaka, Japan 2006 - a talk Computational Dynamics and Cubical Homology at the Kyoto Interdisciplinary Dynamics Seminar (KIDS) at Kyoto Uniersity, Kyoto, Japan 2007 - a talk A Computer Assisted Approach to the Continuation of Morse Decompositions at the Winter Dynamical Systems Workshop at the Graduate School of Mathematical Sciences of the University of Tokyo, Japan 2007 - a talk Continuation of Morse Decompositions - an Algorithmic Approach at the international Workshop on Topological and Computational Approaches to Dynamical Systems and Applications at Ryukoku University in Kyoto, Japan 2007 - a visit to Hokkaido University in Sapporo, Japan (10 days), and participation in the international conference in honor of Y. Pesin and Y. Takahashi on their 60th birthdays: Dynamics of Complex Systems - Mathematical Modeling, Method and Prediction 2007 - a talk Computational Homology Project at the 4th workshop Mathematical Software and Free Documents at Saitama University near Tokyo, Japan 2007 - a visit to Rutgers University in New Brunswick (7 days), NJ, U.S.A., and a talk Combinatorial Analysis of Dynamical Systems at the Nonlinear Analysis and PDEs Seminar 2007 - a talk Computational Approach to Algebraic Topology: Cubical Homology at the Dynamical Systems Seminar at the National Center for Theoretical Sciences, Math. Division, of the National Tsing Hua University in Hsinchu, Taiwan 2007 - a talk Combinatorial Approach to Dynamics and Morse Decompositions (invited speaker) at the NCTS Workshop on Dynamical Systems held at the National Tsing-Hua University, Hsinchu, Taiwan 2007 - a talk Automated Analysis of Dynamical Systems with the Use of Graph Algorithms at the seminar of the Faculty of Integrated Arts and Sciences, Hiroshima University, Japan 2007 - a talk Computational Homology Project (invited speaker) at the 16th Meeting of the Japan Society for Symbolic and Algebraic Computation in Kurashiki, Japan 2007 - a talk Computer Assisted Analysis of Global Dynamics via Morse Decompositions at the RIMS Workshop on New Trends of Dynamical Systems and its Applications in Kyoto, Japan 2007 - a talk The CHomP Software Advanced Features at the JSIAM Summer Seminar on Applied Mathematics "Computational Homology: Theory and Applications" held at Hokkaido University in Sapporo, Japan 2007 - a talk Automatic Topological-Combinatorial Analysis of Global Dynamics at the seminar on dynamical systems at the Mathematics Department of Porto University, Portugal 2008 - a talk Quantitative hyperbolicity estimates in one-dimensional dynamics at the International Workshop on Computer Assisted Proofs in Nonlinear Dynamics at Imperial College in London, United Kingdom 2008 - a visit to the Mathematics Department of Bergen University in Norway (5 days) and a talk Cataloguing global dynamics in multi-parameter systems at the Computer-Aided Proofs in Analysis (CAPA) seminar 2008 - a talk Databases for the global dynamics of multi-parameter systems at the Computational Topology and Dynamics Workshop at Montana State University in Bozeman, MT, U.S.A. 2008 - a talk Computational-topological approach to the classification of global dynamics of multi-parameter systems at the international conference Dynamics & Applications at the University of Minho in Braga, Portugal 2008 - a 1-month-long research visit to the Department of Mathematics of Kyoto University, Japan 2008 - a short communication Automatic classification of global dynamics of multi-parameter systems at the RIMS workshop New Development in the Study of Dynamical Systems beyond Uniform Hyperbolicity at the Research Institute of Mathematical Sciences in Kyoto, Japan 2008 - a talk The Computational Homology Project (CHomP) and its software for mathematical computing at the First Global COE Seminar on Mathematical Research Using Computers at the Department of Mathematics of Kyoto University, Japan 2008 - a talk The Computational Homology Project (CHomP) and its software for the digital image analysis (invited speaker) at the international workshop Computational Algebraic Topology within Image Context at the Department of Applied Mathematics I of the University of Seville, Spain Teaching ExperienceComputational Algebraic Topology (TAO, 30 hours) - recitation classes to a lecture by Professor Marian Mrozek: 1997/98, 1998/99, 1999/2000, 2000/01, 2003/04 Algorithmic Theory of Dynamical Systems (AUD, 30 hours) - recitation classes to a lecture by Professor Marian Mrozek: 1997/98, 1998/99, 1999/2000, 2000/01, 2003/04 Mathematics (short course) in the Institute of Biology (45 hours) - recitation classes to a lecture by Professor Antoni Dawidowicz: 1997/98, 1998/99 Numerical Methods of Algebra (MNA, 30 hours) - recitation classes to a lecture by Professor Janusz Traple: 1999/2000 (2 sections), 2000/01 Mathematical Analysis 1 (AM1, 60 hours) - recitation classes to a lecture by Professor Marek Pałasiński: 1999/2000, 2000/01 Classical Partial Differential Equations (RCK, 30 hours) - recitation classes to a lecture by Professor Stanisław Sędziwy: 2000/01 Variational Equations (RW, 30 hours) - recitation classes to a lecture by Professor Stanisław Migórski: 2000/01 Theory of Programming (TP, 30 hours) - recitation classes to a lecture by Professor Marek Zaionc: 2000/01 Calculus III for Computer Science (Math 2601, 42 hours) - a course at Georgia Tech: Fall 2001 Introduction to Linear Algebra for Calculus (Math 1522, 42 hours) - a course at Georgia Tech: Spring 2002, Fall 2002 (2 sections) Programming (P, 30 hours) - recitation classes to a lecture by Professor Marian Mrozek: 2003/04 (2 sections) Programming 1 (P1, 30 hours) - recitation classes to a lecture by Professor Marian Mrozek: 2003/04 (3 sections), 2004/05 (2 sections) Programming 2 (P2, 30 hours) - recitation classes to a lecture by Professor Marian Mrozek: 2004/05 (2 sections in Fall, 2 sections in Spring) Algorithms of Homological Algebra and Cubical Sets (AAH, 30 hours) - recitation classes to a lecture by Professor Marian Mrozek: 2004/05 Differential Equations (Math 2403, 42 hours) - a course at Georgia Tech: Fall 2005, Spring 2006 |