Institute of Computer Science and Computational Mathematics
Jagiellonian University
Łojasiewicza 6, 30-348 Krakow
POLAND
Education:
1999 - MSc in mathematics, Jagiellonian University, Kraków, Poland, advisor: Professor Marian Mrozek
2003 - PhD in Computer Science, Jagiellonian University, Kraków, Poland (a diploma with distinction), advisor: Professor Marian Mrozek
2011 - Habilitation in Computer Science, Jagiellonian University, Kraków, Poland
Positions:
2019.05-present: professor, Institute of Computer Science and Computational Mathematics, Jagiellonian University, Krakow, Poland
2005.10-2019.04: adjunct (associate professor), Institute of Computer Science, Jagiellonian University, Krakow, Poland
2011.10-2017.09: professor, Faculty of Computer Science, WSB-NLU, Nowy Sacz, Poland
2012.09-2013.10: v-ce director of the Institute of Computer Science, Jagiellonian University, Krakow, Poland
2003.10-2011.09: adjunct (associate professor), Faculty of Computer Science, WSB-NLU, Nowy Sacz, Poland
2009.09-2010.08: visiting researcher, Department of Mathematics, University of Uppsala, Sweden
2008.04-2009.08: postdoc, Department of Mathematics, University of Bergen, Norway
2003-2005: assistant, Institute of Computer Science, Jagiellonian University, Krakow, Poland
1999-2003: assistant, Faculty of Computer Science, WSB-NLU, Nowy Sacz, Poland
PhD students:
2019 - Irmina Walawska
Research grants:
2002-2003 - Polish Scientific Research Committee: PhD grant no. 2 P03A 006 23
2003-2006 - Polish Scientific Research Committee: grant no. 2 P03A 041 24, coordinator: Marian Mrozek
2006-2009 - Polish Scientific Research Committee: grant no. N201 024 31/2163, coordinator: Piotr Zgliczyński
2011-2012 - Polish Ministry of Science and Higher Education, grant Iuventus Plus
Scholarships:
2001 - Foundation for Polish Science
2003 - Institute of Mathematics of the Polish Academy of Sciences: annual scholarship for PhD students
2005 - Jagiellonian University: annual scholarship from Rector's Scholarship Fund
2006 - Foundation for Polish Science: annual national scholarship for young scientists
2007 - Foundation for Polish Science: annual national scholarship for young scientists, continuation
2011 - Polish Ministry of Science and Education, a triennial scholarship for outstanding young scientists
Referee for:
Advances in Difference Equations
Chaos
Communications in Nonlinear Science and Numerical Simulations
Computational and Applied Mathematics
Computer Physics Communications
Computers and Mathematics with Applications
Discrete and Continuous Dynamical Systems
Entropy
IMA Journal of Numerical Analysis
International Journal of Bifurcation and Chaos
International Journal of Circuit Theory and Applications
Journal of Applied Mathematics and Computing
Journal of Computational and Applied Mathematics
Journal of Dynamics and Differential Equations
Journal od Nonlinear Science
Qualitative Theory of Dynamical Systems
Mathematics
Nonlinearity
Schedae Informaticae
SIAM Journal on Applied Dynamical Systems
Topological Methods in Nonlinear Analysis
Conference talks:
Computer assisted proof of the existence of the chaotic dynamics in the Kuramoto-Sivashinsky equation.
Second Workshop on the Conley Index and Related Topics, August 2001, Université de Scherbrooke, Quebec, Canada
Heteroclinic and Homoclinic Connections and Symbolic Dynamics in Planar Restricted Circular Three Body Problem.
International Conference on Dynamical Methods for Differential Equations, September 2002, Medina del Campo, Universidad de Valladolid, Spain
Heteroclinic and Homoclinic Connections and Symbolic Dynamics in Planar Restricted Circular Three Body Problem.
Space Days: Space Mission Design and Dynamical Systems, September-October 2002, University of Paderborn, Germany
The existence of heteroclinic connections in the Kuramoto-Sivashinsky equations.
Equadiff, July 2003, Universiteit Limburg, Hasselt, Belgium
Topological Method for Proving the Existence of Symmetric Periodic, Homoclinic, and Heteroclinic Orbits in Systems with a Reversing Symmetry.
International Workshop on Geometric Methods in Dynamical Systems, June 2004, University of Delaware, Newark, USA
Interval Arithmetics, Planets' Choreographies and Homoclinic Orbits.
Day of Computational Mathematics, June 2006, WSB-NLU, Nowy Sącz, Poland, (invited speaker)
A geometric method for some bifurcation problems.
Dynamic, Topology and Computations, June 2006, Będlewo, Poland, (invited speaker)
A geometric method for proving the existence of homoclinic and heteroclinic solutions.
SciCADE 2007, International Conference on SCIentific Computation And Differential Equations, July 2007, Saint-Malo, France
Rigorous verification of cocoon bifurcations in the Michelson system.
FoCM 2008, Foundations of Computational Mathematics, June 2008, Hong Kong, China
C^{r}-Lohner algorithm and its applications.
Dynamic, Topology and Computations, June 2009, Będlewo, Poland, (invited speaker)
Rigorous numerics for homoclinic tangencies.
INDAM Meeting: Theoretical and computational methods in nonlinear differential equations, Spetember 2009, Bertinoro, Italy, (invited speaker)
Rigorous numerics for homoclinic tangencies.
Workshop on Computational Differential Geometry, Topology, and Dynamics, November 2009, Toronto, Canada, (invited speaker)
Rigorous numerics for homoclinic dynamics.
The Joint Conference of ASCM2009 and MACIS2009, December 2009, Fukuoka, Japan, (invited session talk)
Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system.
Third Small Workshop on Interval Methods, June 2010, Nantes, France, (key invited speaker)
Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system.
Conference on Computational Methods in Dynamics, July 2011, Trieste, Italy, (invited speaker)
Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system.
Foundations of Computational Mathematics, July 2011, Budapest, Hungary, (invited session talk)
(in Polish) Algorytmy weryfikacji hiperboliczności atraktorów dla równań różniczkowych.
VI Symposium on Nonlinear Analysis, September 2011, Toruń, Poland, (invited session talk)
Uniformly hyperbolic attractors for ODEs - rigorous verification.
Dynamic, Topology and Computations, June 2012, Będlewo, Poland
Computing families of invariant tori surrounding elliptic periodic orbits.
6th European Congress of Mathematics, July 2012, Kraków, Poland, (invited session talk)
The CAPD library - a C++ toolbox for validated numerics for dynamical systems.
7th Small Workshop on Interval Methods, June 2014, Uppsala, Sweden.
Continuation of stable elliptic periodic orbits.
7th Small Workshop on Interval Methods, June 2014, Uppsala, Sweden.
Continuation of stable elliptic periodic orbits.
The 10th AIMS Conference on Dynamical Systems, Differential Equations and Applications, July 2014, Madrid, Spain, (invited session talk).
Coexistence of chaos and hyperchaos.
Foundations of Computational Mathematics, December 2014, Montevideo, Uruguay, (invited session talk)
Rigorous computation of Poincare maps.
8th Small Workshop on Interval Methods, June 2015, Prague, Czech Republic.
When chaos meets hyperchaos.
Dynamic, Topology and Computations, June 2015, Będlewo, Poland.
Rigorous integration of dissipative PDEs revisited- chaos in the Kuramoto-Sivashinsky equations.
Computation in Dynamics, April 2016, Providence, USA, (invited talk).