Seminars:
Computational mathematics Thu 16:15-17:45
room 1016
Image recognition Thu 14:15-15:45
room 1146
Differential equations and related issues Fri 12:15-13:45
room 1016
Partial differential equations Tue 12:15-13:45
room 1016
Marian Mrozek, PhD (chair)
room:2064
address:Łojasiewicza 6, PL-30-348 Kraków, Poland
phone:(+48) 012 664 6665
e-mail:Marian.Mrozek At ii.uj.edu.pl
www:http://ww2.ii.uj.edu.pl/~mrozek

Research interests:
  • topological dynamics
  • rigorous numerical analysis
  • copmuter assisted proofs
  • computational topology

CV light:
1999M.S. in matchematics Jagiellonian University, Kraków, Poland
1982PhD in mathematics Jagiellonian University, Kraków, Poland
1990habilitation Jagiellonian University, Kraków, Poland
1991-1993Senior Visiting ResearcherGeorgia Institute of Technology, Atlanta, USA
1996-1997Visiting Associate ProfessorGeorgia Institute of Technology, Atlanta, USA
1997-presentProfessor Graduate School of Business, Nowy Sącz, Poland
1999Professor of Mathematical SciencesPresident of Republic of Poland
2004-presentFull ProfessorJagiellonian University, Kraków, Poland

Awards and scholarships:
1983award for PhD thesisPolish Ministry of Science and Higher Education
1991award for habilitationRector of Jagiellonian University
1996 the paper on chaos in Lorenz system among the 4 best results in mathematics in 1995 Encyclopedia Britannica
1997Wacław Sierpiński awardPolish Mathematical Society
2004 award for outstanding scientific and educational achievements Rector of Jagiellonian University
2008 award for outstanding scientific achievements in the development of science Polish Ministry of Science and Higher Education
2011 Laur Jagielloński Rector of Jagiellonian University

Research grants:
1994-1997Computer assisted proofs in dynamicsPolish Scientific Research Commitee
1997-2000 Topological methods in computer assisted proofs in dynamics Polish Scientific Research Commitee
2000-2003 Topological methods in rigorous computational dynamics Polish Scientific Research Commitee
2003-2006Computational topology and dynamicsPolish Scientific Research Commitee
2006-2009Algorithmic methods in topology and dynamicsPolish Scientific Research Commitee
2010-2013 Algorithmic methods in computational topology and computational dynamics National Science Centre
2011-2012Homology for massive data analysisGoogle Awards
2010-2015 Geometry and Topology in Physical Models Foundation for Polish Science
2011-2015 Applied and Computational Algebraic Topology European Science Foundation Networking Programme
2012-2015 TOPOSYS - Topological Complex Systems EU 7th Framework Programme FET proactive
2015-2020 MAESTRO: Computational topological dynamics National Science Centre

PhD students:
  • (1996) Piotr Zgliczyński Metody topologiczne w chaotycznych układach dynamicznych
  • (2001) Paweł Pilarczyk Topologiczny alorytm ścisłej weryfikacji istnienia trajektorii okresowych
  • (2002) Marcin Żelawski Ścisła numeryczna weryfikacja istnienia podwójnie heteroklinicznej bifurkacji w równaniach Kuramoto-Sivashinsky'ego
  • (2003) Daniel Wilczak Metoda relacji nakrywających w ścisłej analizie numerycznej równań różniczkowych
  • (2003) Kinga Stolot Homotopijny indeks Conleya dla wielowartościowych dyskretnych układów dynamicznych
  • (2010) Natalia Żelazna Algorytmy homologii zbiorów kostkowych metodą podzbioru acyklicznego
  • (2012) Paweł Dłotko Algorytmy redukcji w obliczeniowej teorii homologii i kohomologii z zastosowaniami
  • (2013) Mateusz Juda Teoretyczne i praktyczne aspekty liczenia homologii metodami geometrycznych koredukcji
  • (2014) Hubert Wagner Efficient computation of persistent homology
  • (2015) Grzegorz Jabłoński Persistent homology of a self-map
  • (2016) Frank Weilandt Rigorous Numerical Computation of the Conley Index for Flows

Conferences:
2015-096 Forum Matematyków Polskich, PTM Teoria Morse’a-Conleya-Formana dla kombinatorycznych pól wielowektorowych Warszawa - Polska
2015-09VII Symposium on Nonlinear Analysis 2015, Centrum Badań Nieliniowych im. J.P. Schaudera Morse-Forman-Conley theory for combinatorial multivector fields Toruń - Polska
2015-09XXI Krajowa Konferencja Zastosowan Matematyki w Biologii i Medycynie, AGH Topologia - matematyczna superabstrakcja czy kokurent w zastosowaniach dla rózniczek i całek? Regietów - Polska
2016-01Workshop on switching dynamics and verification, Institut pour le Contrôle et la Décision de l'Idex Paris-Saclay. Morse-Conley theory for combinatorial vector fields Paryż - Francja
2015-09Critical Point Theory and Nonlinear Differential Problems, University of Verona Morse-Forman-Conley theory for combinatorial multivector fields Canazei - Włochy
2015-04Geometric and Topological Methods in Computer Science GETEO , Aalborg University Morse-Forman-Conley theory for combinatorial multivector fields Aalborg - Dania
2012-09Geometric and Topological Methods in Computer Science, Aalborg University Morse-Forman-Conley theory for combinatorial multivector fields Aalborg - Dania
2014-07Combinatorial/ Topological Frameworks for Multiparameter Nonlinear Dynamics, Lorentz Center Morse-Conley Theory for Forman’s combinatorial vector fields Leiden - Holandia
2014-095th International Workshop on Computational Topology in Image Context CTIC2014, Eftimie Murgu University, Resita Fundamental Group via Forman’s Discrete Morse Theory Timisoara - Rumunia
2014-12Seventh de Brún Workshop on Homological Perturbation Theory, NUI Galway Morse-Forman-Conley theory for combinatorial multivector fields Galway - Ireland
2014-02Algebraic Topology in Dynamics, Differential Equations, and Experimental Data , Institute for Mathematics and its Applications Homology and Fundamental Group Algorithms via Forman's Discrete Morse Theory Minneapolis - USA
2014-11Discrete, Computational and Algebraic Topology, University of Copenhagen Algebraic Morse-Conley Theory for generalized Forman's combinatorial vector fields Kopenhaga - Dania
2014-128th Conference on Foundations of Computational Mathematics - Computational Dynamics, FoCM Algebraic Morse-Conley Theory for generalized Forman's combinatorial vector fields Montevideo - Urugwaj
2014-128th Conference on Foundations of Computational Mathematics, FoCM Persistent Homology of Self-maps Montevideo - Urugwaj

Books:
  • M. Erdmann, J. Erickson, R. Ghrist, M. Mrozek, A. Zomorodian (Ed.),
    Advances in Applied and Computational Topology: AMS Short Course Computational Topology
    Applied Mathematical Sciences 157, American Mathematical Society, 2011
  • T. Kaczynski, K. Mischaikow, M. Mrozek,
    Computational Homology
    Applied Mathematical Sciences 157, Springer-Verlag, 2004
  • K. Mischaikow, M. Mrozek,
    The Conley Index
    Handbook of Dynamical Systems II: Towards Applications, (B. Fiedler, ed.) North-Holland , 2002
  • K. Mischaikow, M. Mrozek, P. Zgliczyński ,
    Conley Index Theory
    Banach Center Publications, Polish Academy of Sciences , 1999

Publications:
  • K. Mischaikow, M. Mrozek, F. Weilandt,
    Discretization strategies for computing Conley indices and Morse decompositions of flows
    Journal of Computational Dynamics , (2016)
  • M. Mrozek,
    Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes
    Foundations of Computational Mathematics, (2016)
  • B. Batko, M. Mrozek,
    Weak index pairs and the Conley index for discrete multivalued dynamical systems
    SIAM Journal on Applied Dynamical Systems , 1143-1162 (2016)
  • T. Kaczynski, M. Mrozek, Th. Wanner,
    Towards a Formal Tie Between Combinatorial and Classical Vector Field Dynamics
    Journal of Computational Dynamics , (2016)
  • H. Edelsbrunner, G. Jabłoński, M. Mrozek,
    The Persistent Homology of a Self-map
    Foundations of Computational Mathematics , 1213–-1244 (2015)
  • Piotr Brendel, Paweł Dłotko, Graham Ellis, Mateusz Juda, Marian Mrozek,
    Computing fundamental groups from point clouds
    APPL ALGEBR ENG COMM , 1-22 (2015)
  • M. Mrozek, R. Srzednicki, F. Weilandt,
    A topological approach to the algorithmic computation of the Conley index for Poincaré maps
    SIAM Journal on Applied Dynamical Systems , 1348-1386 (2015)
  • S. Harker, K. Mischaikow, M. Mrozek, V. Nanda,
    Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps
    Foundations of Computational Mathematics, 151--184 (2014)
  • Mateusz Juda, Marian Mrozek,
    CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms
    , 160-166 (2014)
  • T. Kaczynski, M. Mrozek,
    Cubical Cohomology Ring: Algorithmic Approach
    Foundations of Computational Mathematics, 789-818 (2013)
  • Piotr Brendel, Paweł Dłotko, Marian Mrozek, Natalia Żelazna,
    Homology Computations via Acyclic Subspace
    LECTURE NOTES IN COMPUTER SCIENCE , 117-127 (2012)
  • Marian Mrozek,
    Topological Dynamics: Rigorous Numerics via Cubical Homology
    , (2012)
  • Andrzej Gryglewski, Andrzej Krajniak, Marian Mrozek, Han Sejin, Marcin Żelawski,
    Homological methods for extraction and analysis of linear features in multidimensional images
    Pattern Recognition, 285-298 (2012)
  • P. Dłotko, R. Ghrist, M. Juda, M. Mrozek,
    Distributed computation of coverage in sensor networks by homological methods
    Applicable Algebra in Engineering, Communication and Computing , 29-58 (2012)
  • Paweł Dłotko, Marian Mrozek, Hubert Wagner,
    Computational Topology in Text Mining
    LECTURE NOTES IN COMPUTER SCIENCE , 68 - 79 (2012)
  • M. Juda, M. Mrozek,
    Z_2-homology of weak (p-2)-faceless p-pseudomanifolds may be computed in O(n) time
    Topological Methods in Nonlinear Analysis, 137-159 (2012)
  • B. Gryglewska, M. Necki, M. Żelawski, M. Cwynar, T. Baron, M. Mrozek, T. Grodzicki,
    Fractal dimensions of skin microcirculation flow in subjects with familial predisposition or newly diagnosed hypertension
    Cardiology Journal, 26-32 (2011)
  • P. Dłotko, T. Kaczynski, M. Mrozek, Th. Wanner,
    Coreduction Homology Algorithm for Regular CW-Complexes
    Discrete and Computational Geometry, 361-388 (2011)
  • M. Mrozek,
    Cech Type Approach to Computing Homology of Maps
    Discrete and Computational Geometry, 546-576 (2010)
  • M. Mrozek, R. Srzednicki,
    Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
    Foundations of Computational Mathematics, 191-220 (2010)
  • M. Mrozek, Th. Wanner,
    Coreduction homology algorithm for inclusions and persistent homology
    Computers and Mathematics with Applications, 2812-2833 (2010)
  • Paweł Dłotko, Tomasz Kaczynski, Marian Mrozek,
    Computing the cubical cohomology ring
    , 137-142 (2010)
  • Paweł Dłotko, Shaun Harker, Mateusz Juda, Konstantin Mischaikov, Marian Mrozek, Vidit Nanda, Hubert Wagner,
    The efficiency of a homology algorithm based on discrete Morse Theory and Coreductions
    , 41-47 (2010)
  • Bogdan Batko, Marian Mrozek,
    Homology of representable sets
    ANN POL MATH , 243-252 (2010)
  • M. Mrozek, B. Batko,
    Coreduction Homology Algorithm
    Discrete and Computational Geometry 41, 96-118 (2009)
  • Andrzej Gryglewski, Andrzej Krajniak, Marian Mrozek, Han Sejin, Marcin Żelawski,
    Homological Methods in Feature Extraction of Multidimensional Images
    , 1061-1066 (2009)
  • M. Mrozek, R. Srzednicki,
    Conley index of Poincare maps in isolating segments
    Nonlinear Analysis, Theory, Methods and Applications , 2123–2131 (2009)
  • N. Żelazna, M. Mrozek, P. Pilarczyk,
    Homology Algorithm Based on Acyclic Subspace
    Computers and Mathematics with Appl., 2395–2412 (2008)
  • Tomasz Kaczynski, M. Mrozek, Anik Trahan,
    Ideas from Zariski topology in the study of cubical sets, cubical maps, and their homology
    Canadian J. Math., 1008-1028 (2007)
  • Bogdan Batko, M. Mrozek,
    The Euler-Poincare characteristic of index maps
    Topology and its Applications, 859-866 (2007)
  • M. Mrozek,
    Index Pairs Algorithms
    Foundations of Computational Mathematics, 457-493 (2006)
  • M. Mrozek,
    The Method of Topological Sections in the Rigorous Numerics of Dynamical Systems
    Canadian Applied Mathematics Quarterly, 209-222 (2006)
  • M. Mrozek, K. Wójcik,
    Discrete version of a geometric method for detecting chaotic dynamics
    Topology and its Applications, 70-82 (2005)
  • K. Mischaikow, M. Mrozek, P. Pilarczyk,
    Graph Approach to the Computation of the Homology of Continuous Maps
    Foundations of Computational Mathematics, 199-229 (2005)
  • T. Kaczynski, K. Mischaikow, M. Mrozek,
    Computing Homology
    Homotopy, Homology and Applications, 233-256 (2003)
  • M. Mrozek, P. Pilarczyk,
    The Conley Index and Rigorous Numerics of Attracting Periodic Orbits
    Variational and Topological Methods in the Study of Nonlinear Phenomena, V. Benci et al. Editors, Progress in Nonlinear Differential Equations and Their Applications, Vol. 49 , (2002)
  • K. Mischaikow, M. Mrozek,
    The Conley Index Theory
    Handbook of Dynamical Systems III: Towards Applications , 393-460 (2002)
  • K. Mischaikow, M. Mrozek, A. Szymczak,
    Chaos in the Lorenz equations: a computer assisted proof. Part III: the classical parameter values
    J. Diff. Equ., 17-56 (2001)
  • M. Mrozek, J. Reineck, R. Srzednicki,
    The Conley index over a base
    Trans. AMS, 4171-4194 (2000)
  • M. Mrozek, J. Reineck, R. Srzednicki,
    The Conley index over a circle
    J. Dynamics and Differential Equations,, 385--409 (2000)
  • M. Mrozek, P. Zgliczyński ,
    Set arithmetic and the enclosing problem in dynamics
    Annales Polonici Mathematici, 237-259 (2000)
  • Marian Mrozek, Roman Srzednicki,
    The Conley index over the circle
    , 385--409 (2000)
  • M. Mrozek,
    Construction and properties of the Conley index
    Conley index theory, Banach Center Publications, Vol. 47 , 29-40 (1999)
  • M. Mrozek, J. Reineck, R. Srzednicki,
    On a Generalization of the Conley index
    Conley index theory, Banach Center Publications, Vol. 47 , 157-171 (1999)
  • K. Mischaikow, M. Mrozek, J. Reiss, A. Szymczak,
    Construction of Symbolic Dynamics from Experimental Time Series
    Physical Review Letters, 1144 (1999)
  • M. Mrozek,
    An algorithmic approach to the Conley index theory
    J. Dyn. Diff. Equ., 711-734 (1999)
  • K. Mischaikow, M. Mrozek,
    Chaos in the Lorenz equations: a computer assisted proof. Part II: details
    Mathematics of Computation, 1023-1046 (1998)
  • K. Mischaikow, M. Mrozek, J. Reineck,
    Singular Index Pairs
    Univ. Iag. Acta Math., 223-226 (1998)
  • M. Mrozek,
    Algorithms and the Conley index theory,
    Univ. Iag. Acta Math.,, 227-230 (1998)
  • T. Kaczynski, M. Mrozek, M. Slusarek,
    Homology Computation by Reduction of Chain Complexes,
    Computers and Mathematics with Appl., 59--70 (1998)
  • M. Mrozek, J. Urbaniec,
    Evolution of Mathematical Proof
    Foundations of Science, 77-85 (1997)
  • M. Mrozek, M. Żelawski,
    Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof
    Reliable Computing, 277-285 (1997)
  • T. Kaczynski, M. Mrozek,
    Connected simple systems and the Conley functor
    Topol. Methods Nonlin. Anal., 183-193 (1997)
  • T. Kaczynski, M. Mrozek,
    Stable index pairs for discrete dynamical systems
    Bulletin Canadian Math. Soc., 448-455 (1997)
  • M. Mrozek,
    Topological invariants, multivalued maps and computer assisted proofs
    Computers and Mathematics with Appl., 83-104 (1996)
  • M. Mrozek,
    The Conley Index and Rigorous Numerics,
    Nonlinear Analysis and Boundary Value Problems for Ordinary Differential Equations, CISM Courses ans Lectures, Vol. 371 , 175-196 (1996)
  • M. Mrozek,
    Rigorous error analysis of numerical algorithms via symbolic computations
    J. Symb. Comp., 435-458 (1996)
  • M. Mrozek,
    Inheritable properties and computer assisted proofs in dynamics
    Scientific Computing and validated numerics, G. Alefeld, A. Frommer and B. Lang editors, Akademie Verlag, Berlin , 245-253 (1996)
  • T. Kaczynski, M. Mrozek,
    Conley index for discrete multivalued dynamical systems
    Topology & its Appl., 83-96 (1995)
  • K. Mischaikow, M. Mrozek,
    Isolating neighborhoods and chaos
    Jap. J. Ind. and Appl. Math., 205-236 (1995)
  • Ch. McCord, K. Mischaikow, M. Mrozek,
    Zeta Functions, Periodic Trajectories and the Conley Index
    J. Diff. Equ, 258-292 (1995)
  • K. Mischaikow, M. Mrozek,
    Chaos in Lorenz equations: a computer assisted proof
    Bull. Amer. Math. Soc. (N.S.), 66-72 (1995)
  • M. Mrozek,
    Rigorous numerics of chaotic dynamical suystems
    Lect. Notes in Physic, 283-296 (1995)
  • M. Mrozek,
    From the Theorem of Ważewski to computer assisted proofs in dynamics
    Panoramas of Mathematics, Banach Center Publications, Vol. 34 , 105-120 (1995)
  • M. Mrozek,
    Shape index and other indices of Conley type for continuous maps in locally compact metric spaces
    Fundamenta Mathematicae, 15-37 (1994)
  • M. Mrozek, R. Srzednicki,
    On time-duality of the Conley index
    Results in Mathematics, 161-167 (1993)
  • M. Degiovanni, M. Mrozek,
    The Conley index for maps in absence of compactness
    Proc. Royal Soc. Edinburgh, 75-94 (1993)
  • M. Mrozek, K.P. Rybakowski,
    Discretized ordinary differential equations and the Conley index
    J. of Dynamics and Differential Equations, 57-63 (1992)
  • M. Mrozek,
    Normal Functors and Retractors in Categories of Endomorphisms
    Univ. Iag. Acta Math., 181-198 (1992)
  • M. Mrozek, K.P. Rybakowski,
    Nontrivial full bounded solutions of time-periodic semilinear PDEs
    Proc. Roy. Soc. Edinburgh, 305-315 (1991)
  • M. Mrozek,
    Some Remarks on the Garay's Conjecture
    Acta Math. Hungarica, 53-59 (1991)
  • M. Mrozek,
    The Morse Equation in Conley's Index Theory for Homeomorphisms
    Topology and its Applications, 45-60 (1991)
  • M. Mrozek, K.P. Rybakowski,
    A cohomological Conley index for maps on metric spaces
    Journal of Diff. Equations, 143-171 (1991)
  • M. Mrozek,
    Leray Functor and the Cohomological Conley Index for Discrete Time Dynamical Systems
    Transactions of the Amer. Math. Soc., 149-178 (1990)
  • M. Mrozek,
    A cohomological index of Conley type for multivalued admissible flows
    J. Diff. Equations, 15-51 (1990)
  • M. Mrozek,
    Open index pairs, the fixed point index and rationality of zeta functions
    Erg. Th. and Dyn. Syst., 555-564 (1990)
  • M. Mrozek,
    The Conley index on compact ANR's is of finite type
    Results in Mathematics, 306-313 (1990)
  • M. Mrozek,
    Transitively Reduced and Transitively Closed Event Networks
    Networks, 47-72 (1989)
  • M. Mrozek,
    Index pairs and the Fixed Point Index for Semidynamical Systems with Discrete Time
    Fund. Mathematicae, 177-192 (1989)
  • M. Mrozek,
    The Fixed Point Index of a Translation Operator of a Semiflow
    Univ. Iag. Acta Math., 13-22 (1988)
  • M. Mrozek, R. Srzednicki,
    The Continuity Axiom in Multi-Valued Dynamical Systems
    Rivista di Matematica Pura ed Applicata, 87-97 (1988)
  • M. Mrozek,
    Periodic and Stationary Trajectories of Flows and Ordinary Differential Equations
    Univ. Iag. Acta Math., 29-37 (1988)
  • M. Mrozek,
    Strongly Isolating Invariant Sets and Strongly Isolating Blocks
    Bull. Acad. Pol. Sc. Ser. Sci. Math., 1-2 (1987)
  • Marian Mrozek, Marek Zaionc,
    A computer model of evolution and ecological processes
    , 59-63 (1984)
  • M. Mrozek,
    A Note on Minimum-Dummy-Activities PERT Networks
    RAIRO Rech. Oper., 415-421 (1984)
  • M. Mrozek,
    Generalized Inverse of a Finite Graph
    Fund. Inform., 499-509 (1981)
  • M. Mrozek, M. Zaionc,
    Simulation model of evolution in a simplified ecological system
    Wiad. Ekol., 49-59 (1981)
  • M. Mrozek,
    Inverse Limits of Torus-Groups and Minimal Sets of some Almost Periodic Continuous Flows
    Zesz. Nauk. UJ, Pr. Mat., 29-50 (1979)
Division of Computational Mathematics, Institute of Computer Science, Łojasiewicza 6, 30-348 Kraków, Poland