 |
 |
 |
 |
 |
 |
 |
 |
 |
Curriculum Vitae(a version in Polish is also available) Given name: Paweł
Education2001 - PhD in mathematics (specialization: computer science) at the Jagiellonian University; PhD dissertation: A Topological Algorithm for Rigorous Verification of the Existence of Periodic Trajectories (in Polish); advisor: Professor Marian Mrozek 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 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 1992 - 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 Olympiade in Mathematics in 1990) Spoken foreign languages:
Programming languages:
Scholarships, Fellowships and EmploymentJuly 2008 – June 2013: researcher in algebraic topology at the Centre of Mathematics of the University of Minho in Braga, Portugal September 2007 – June 2008: freelance mathematician (a.k.a. unemployed) August 2006 – September 2007: postdoctoral fellow at Department of Mathematics of Kyoto University, Japan; the fellowship was awarded by the Japan Society for the Promotion of Science for the period of 13 months August 2001 – June 2003, August 2005 – June 2006: visiting assistant professor at the School of Mathematics of Georgia Institute of Technology (GaTech) in Atlanta, GA, U.S.A. October 1999 – August 2006: research and teaching assistant at the Institute of Computer Science of the Jagiellonian University in Kraków, Poland October 1997 – September 1999: PhD student scholarship at the Institute of Mathematics of the Jagiellonian University in Kraków, Poland October 1997 – June 1999: student scholarship for good achievements during the MSc degree course in computer science October 1993 – June 1997: student scholarship for good achievements during the MSc degree course in mathematics Research Grants2011-2015 - participant in the European Science Foundation network Applied and Computational Algebraic Topology (ACAT) 2010-2013 - team member in the research project "Algebraic Topology and Applications"; grant no. PTDC/MAT/098317/2008 2010-2013 - principal investigator in the research project "Computational Cohomology and Applications"; grant no. PTDC/MAT/098871/2008 2006-2007 - Grant-in-Aid No. 1806039 for Scientific Research awarded by the Ministry of Education, Science, Technology, Culture and Sports, Japan 2003-2006 - team member of the research project "Computational Topology and Dynamics" (principal investigator: Professor Marian Mrozek); grant no. 2 P03A 041 24 2001-2002 - principal investigador in the advised Ph.D. grant "Topological Algorithm for Rigorous Verification of the Existence of Periodic Trajectories" (advisor: Professor Marian Mrozek); grant no. 5 P03A 039 20 2000-2003 - team member in the research project "Topological Methods in Rigorous Computational Dynamics" (principal investigator: Professor Marian Mrozek); grant no. 2 P03A 011 18 1998-2000 - participant of the research project "Topological Methods in Computer-Assisted Proofs in the Theory of Dynamical Systems" (principal investigator: Professor Marian Mrozek); grant no. 2 P03A 029 12 International Research Projectssince 2006 - member of the Conley-Morse-Database Project; developer of the entire first release of the CMDb software (cmgraphs), co-author of the publication that is the theoretical foundation of the project, active participant of the development of a new version of the software (conely-morse-database) since 2002 - participant of the Computational Homology Project; author of considerable part of CHomP software, designer and webmaster of the CHomP website since 2000 - member of the Computer Assisted Proofs in Dynamics group; co-developer of the CAPD software Scientific Committees2012 - member of the Scientific Committee of the Fourth International Workshop on Computational Topology in Image Context (CTIC 2012) in Bertinoro, Italy 2010 - member of the Program Committee of the Third International Congress on Mathematical Software (ICMS 2010 - developers meeting) at Kobe University, Japan 2010 - member of the Scientific Committee of the Third International Workshop on Computational Topology in Image Context (CTIC 2010) in Chipiona, Spain Research Visits2011 - University of Vigo, Spain (4 days) 2011 - Carlos III University of Madrid, Spain (4 days) 2011 - Gdańsk University of Technology, Poland (2 weeks) 2010 - Carlos III University of Madrid, Spain (1 week) 2010 - Kyoto University, Japan (6 days) 2010 - University of Vigo, Spain (2 days) 2010 - Kyoto University, Japan (19 days) 2010 - Lisbon University, Portugal (1 day) 2010 - Gdańsk University of Technology, Poland (10 days) 2010 - Kyoto University, Japan (14 days) 2009 - Lisbon University, Portugal (1 day) 2009 - Gdańsk University of Technology, Poland (1 week) 2009 - Imperial College, London, United Kingdom (5 days) 2008 - Kyoto University, Japan (1 month) 2008 - Bergen University, Norway (5 days) 2007 - Hiroshima University, Japan (10 days) 2007 - Rutgers University, New Brunswick, NJ, U.S.A. (7 days) 2007 - Hokkaido University, Sapporo, Japan (10 days) 2006 - Hokkaido University, Sapporo, Japan (8 days) 2004 - Osaka University, Japan (1 week) 2002 - Sherbrooke University, Canada (5 days) 2002 - Brown University, Providence, RI, U.S.A. (1 week) 2000 - Georgia Institute of Technology, Atlanta, GA, U.S.A. (1 month) Talks on Own Work at Academic Seminars2010 - A computational method for automatic analysis of global dynamics of multi-parameter systems, Department of Physics, Universidad Carlos III de Madrid, Spain 2010 - A database schema for the analysis of global dynamics of multi-parameter systems, Department of Applied Mathematics, University of Vigo, Spain 2010 - Finite resolution dynamics, Dynamical Systems Seminar, Department of Mathematics, Kyoto University, Japan 2010 - Algorithmic analysis of global dynamics in dynamical systems with parameters (in Polish), Departmental Colloquium of the Mathematicians, Department of Technological Physics and Applied Mathematics, Gdańsk University of Technology, Poland 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, London, United Kingdom 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, Portugal 2008 - Cataloguing global dynamics in multi-parameter systems, Computer-Aided Proofs in Analysis (CAPA) seminar, Mathematics Department, Bergen University, Norway 2007 - Automatic topological-combinatorial analysis of global dynamics, Dynamical Systems Seminar, Mathematics Department, University of Porto, Portugal 2007 - Computational dynamics, Faculty of Integrated Arts and Sciences, Kyushu University, Fukuoka, Japan 2007 - Automated analysis of dynamical systems with the use of graph algorithms, Faculty of Integrated Arts and Sciences, Hiroshima University, Japan 2007 - Computational approach to algebraic topology: cubical homology, Dynamical Systems Seminar, National Center for Theoretical Sciences, Math. Division, National Tsing Hua University, Hsinchu, Taiwan 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, Japan 2006 - Algorithms and software for the cubical homology computation (a series of two talks), Hokkaido University, Sapporo, Japan 2006 - Algorithmic approach to the computation of homology of spaces and maps, Colloquium of the Department of Mathematics, Kyoto University, Japan 2005 - A concurrent algorithm for constructing index pairs (in Polish), Seminar on Symbolic and Computational Dynamics, Institute of Computer Science, Jagiellonian University, Kraków, Poland 2004 - Cubical homology and its automatic computation (a series of two talks), Osaka University, Japan 2003 - An algorithm for constructing cubical index pairs (in Polish), Seminar on Symbolic and Computational Dynamics, Institute of Computer Science, Jagiellonian University, Kraków, Poland 2003 - An algorithm for computing homomorphisms induced in homology (in Polish), Seminar on Symbolic and Computational Dynamics, Institute of Computer Science, Jagiellonian University, Kraków, Poland 2002 - Combinatorial approach to ODEs, seminar of the 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, University of Sherbrooke, Canada 2002 - Rigorous numerics for attracting periodic trajectories in ODEs, Joint Seminar on Dynamical Systems and Nonlinear Analysis, Kyoto University, Japan 2001 - A topological algorithm for rigorous verification of the existence of periodic trajectories (in Polish), Faculty of Mathematics and Computer Science, Adam Mickiewicz University of Poznań, Poland 2000 - Computer-assisted proving existence of periodic trajectories in continuous-time dynamical systems, continued as A topological algorithm for rigorous verification of the existence of periodic trajectories (in Polish), Seminar on Differential Equations and Related Topics, Institute of Mathematics, Jagiellonian University, Kraków, Poland 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 - Computer-assisted proof of the existence of a periodic orbit in the Rössler equations (in Polish), Seminar on Symbolic and Computational Dynamics, Institute of Computer Science, Jagiellonian University, Kraków, Poland 1999 - Computation of homology of chain complexes and cubical sets (in Polish), Seminar on Symbolic and Computational Dynamics, Institute of Computer Science, Jagiellonian University, Kraków, Poland 1999 - Computation of homology of chain complexes and cubical sets (in Polish), Seminar on Differential Equations and Related Topics, Institute of Mathematics, Jagiellonian University, Kraków, Poland Talks at Conferences and Workshops2011 - Finite resolution dynamics based on open covers, invited to the mini-symposium Computational Approach to Global Dynamics, 7th International Congress on Industrial and Applied Mathematics (ICIAM), Vancouver, BC, Canada 2011 - Set-oriented numerical analysis of difference equations with parameters (invited speaker), Future Directions in Difference Equations, Vigo, Spain 2010 - poster presentation The Computational Homology Project - CHomP and a tutorial session on the CHomP software, 3rd International Congress on Mathematical Software (ICMS 2010 - developers meeting), Kobe University, Japan 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, Dresden, Germany 2009 - Finite resolution dynamics based on open covers, Dynamics, Topology and Computations (DyToComp 2009), Będlewo, Poland 2009 - Automatic analysis of global dynamics in multi-parameter families of difference equations (invited speaker; plenary talk), Progress on Difference Equations 2009, Będlewo, Poland 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, Portugal 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, Spain 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, Japan 2008 - Automatic classification of global dynamics of multi-parameter systems (short communication), 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, Portugal 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, London, United Kingdom 2007 - The CHomP software advanced features, JSIAM Summer Seminar on Applied Mathematics "Computational Homology: Theory and Applications", Hokkaido University, Sapporo, Japan 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, Japan 2007 - Combinatorial approach to dynamics and Morse decompositions (invited speaker), NCTS Workshop on Dynamical Systems, National Tsing-Hua University, Hsinchu, Taiwan 2007 - Computational Homology Project, 4th workshop Mathematical Software and Free Documents, Saitama University near Tokyo, Japan 2007 - Continuation of Morse decompositions - an algorithmic approach, Workshop on Topological and Computational Approaches to Dynamical Systems and Applications, Ryukoku University, Kyoto, Japan 2007 - A computer assisted approach to the continuation of Morse decompositions, Winter Dynamical Systems Workshop, Graduate School of Mathematical Sciences, University of Tokyo, Japan 2006 - Computing the homology of cubical sets and maps, Topology and Computers 2006, Osaka, Japan 2006 - Automatic homology computation with application to pattern classification, RIMS Symposium on Pattern Formation Problems in Dissipative Systems, Kyoto, Japan 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, France 2006 - introduction to the CHomP software, Dynamics, Topology and Computations (DyToComp 2006), Będlewo, Poland 2006 - Cubical index pairs and the excision property, Dynamics, Topology and Computations, Będlewo, Poland 2006 - Computational Homology Project (at Computational Homology Tutorial Session), Computational Homology and Materials Science Workshop, Georgia Institute of Technology in Atlanta, GA, U.S.A. 2004 - Computer-assisted topological methods in dynamical systems (in Polish), School on Dynamical Systems, Będlewo, Poland 2004 - Cubical approach to the computation of the homology of continuous maps, Workshop on Dynamics and Computations, Shonan International Center in Kanagawa Prefecture, Japan 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, University of Sherbrooke, Canada 1999 - Computer assisted proof of the existence of a periodic orbit in the Rössler equations, Equadiff 99, Berlin, Germany Participation in Conferences and Workshops without Presentation2010 - Second Developers Workshop on the Conley-Morse Database Project (active participant of the discussions), Department of Mathematics, Kyoto University, Japan 2010 - 3rd International Workshop on Computational Topology in Image Context (CTIC 2010), Chipiona, Spain 2010 - First Developers Workshop on the Conley-Morse Database Project (active participant and leader of considerable part of discussions), Department of Mathematics, Kyoto University, Japan 2007 - Dynamics of Complex Systems - Mathematical Modeling, Method and Prediction (an international conference in honor of Y. Pesin and Y. Takahashi on their 60th birthdays), 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 - School on Dynamical Systems, Będlewo, Poland 2004 - Kyoto Dynamics Days, Kyoto University, Japan 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 and Kyoto University, Kyoto, Japan 2002 - Geometric Theory of Dynamical Systems, Jagiellonian University, Kraków, Poland 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, University of Sherbrooke, Canada 1998 - Topological Methods in Nonlinear Analysis, Interational Stefan Banach Center in Warsaw, Poland 1997 - Workshop on the Conley Index and Related Topics, Warsaw, Poland 1996 - Topological Methods in Differential Equations and Dynamical Systems, Kraków, Poland Prizes and awards1996 - Second Prize at the Third International Competition in Mathematics for Undergraduate Students, Plovdiv, Bulgaria Selected programming achievementshttp://chomp.rutgers.edu/advanced/ – CHomP software: the author of a considerable part of the source code (please, see individual files for authorship information) http://www.pawelpilarczyk.com/finresdyn/ – Finite resolution dynamics: software and results of sample computations http://www.pawelpilarczyk.com/cmgraphs/ – Conley-Morse graphs computation software: the first version of the software developed for the paper Databases for the Global Dynamics of Multiparameter Systems http://www.pawelpilarczyk.com/parallel/ – Parallelization method for a continuous property: software, examples and applications http://www.pawelpilarczyk.com/unifexp/ – Uniform expansion in one-dimensional maps: software and results of computations http://www.pawelpilarczyk.com/excision/ – Excision-preserving approach to the computation of the Conley index: software and additional materials Teaching ExperienceDifferential Equations (Math 2403, 42 hours) - a course at Georgia Tech: Fall 2005, Spring 2006 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 Programming 1 (P1, 30 hours) - recitation classes to a lecture by Professor Marian Mrozek: 2003/04 (3 sections), 2004/05 (2 sections) Programming (P, 30 hours) - recitation classes to a lecture by Professor Marian Mrozek: 2003/04 (2 sections) Introduction to Linear Algebra for Calculus (Math 1522, 42 hours) - a course at Georgia Tech: Spring 2002, Fall 2002 (2 sections) Calculus III for Computer Science (Math 2601, 42 hours) - a course at Georgia Tech: Fall 2001 Theory of Programming (TP, 30 hours) - recitation classes to a lecture by Professor Marek Zaionc: 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 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 Computational 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 for students of Biology (45 hours) - recitation classes to a lecture by Professor Antoni Dawidowicz: 1997/98, 1998/99 HobbiesHiking, cycling, Alpine skiing. Photography, classical music. |