Jagiellonian University
Institute of Computer Science
and Computational Mathematics

The Home Page Of Daniel Wilczak

Main Publications Seminars 4 Students Short CV Choreographies Software People Contact
me

Address:

  • 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:

  • 2011.10-present: professor, Faculty of Computer Science, WSB-NLU, Nowy Sacz, Poland
  • 2005.10-present: adjunct (associate professor), Institute of Computer Science, Jagiellonian University, Krakow, Poland
  • 2012.09-2013.10: v-ce director for student affairs, 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

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
  • IMA Journal of Numerical Analysis
  • International Journal of Bifurcation and Chaos
  • Journal of Applied Mathematics and Computing
  • Journal of Computational and Applied Mathematics
  • Journal od Nonlinear Science
  • Nonlinearity
  • Schedae Informaticae
  • SIAM Journal on Applied Dynamical Systems
  • Topological Methods in Nonlinear Analysis

Conference talks:

  1. 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

  2. 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

  3. 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

  4. The existence of heteroclinic connections in the Kuramoto-Sivashinsky equations. Equadiff, July 2003, Universiteit Limburg, Hasselt, Belgium

  5. 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

  6. Interval Arithmetics, Planets' Choreographies and Homoclinic Orbits. Day of Computational Mathematics, June 2006, WSB-NLU, Nowy Sącz, Poland, (invited speaker)

  7. A geometric method for some bifurcation problems. Dynamic, Topology and Computations, June 2006, Będlewo, Poland, (invited speaker)

  8. 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

  9. Rigorous verification of cocoon bifurcations in the Michelson system. FoCM 2008, Foundations of Computational Mathematics, June 2008, Hong Kong, China

  10. Cr-Lohner algorithm and its applications. Dynamic, Topology and Computations, June 2009, Będlewo, Poland, (invited speaker)

  11. Rigorous numerics for homoclinic tangencies. INDAM Meeting: Theoretical and computational methods in nonlinear differential equations, Spetember 2009, Bertinoro, Italy, (invited speaker)

  12. Rigorous numerics for homoclinic tangencies. Workshop on Computational Differential Geometry, Topology, and Dynamics, November 2009, Toronto, Canada, (invited speaker)

  13. Rigorous numerics for homoclinic dynamics. The Joint Conference of ASCM2009 and MACIS2009, December 2009, Fukuoka, Japan, (invited session talk)

  14. 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)

  15. 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)

  16. 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)

  17. (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)

  18. Uniformly hyperbolic attractors for ODEs - rigorous verification. Dynamic, Topology and Computations, June 2012, Będlewo, Poland

  19. Computing families of invariant tori surrounding elliptic periodic orbits. 6th European Congress of Mathematics, July 2012, Kraków, Poland, (invited session talk)

  20. The CAPD library - a C++ toolbox for validated numerics for dynamical systems. 7th Small Workshop on Interval Methods, June 2014, Uppsala, Sweden.

  21. Continuation of stable elliptic periodic orbits. 7th Small Workshop on Interval Methods, June 2014, Uppsala, Sweden.

  22. Continuation of stable elliptic periodic orbits. The 10th AIMS Conference on Dynamical Systems, Differential Equations and Applications, July 2014, Madrid, Spain, (invited session talk).

  23. Coexistence of chaos and hyperchaos. Foundations of Computational Mathematics, December 2014, Montevideo, Uruguay, (invited session talk)

  24. Rigorous computation of Poincare maps. 8th Small Workshop on Interval Methods, June 2015, Prague, Czech Republic.

  25. When chaos meets hyperchaos. Dynamic, Topology and Computations, June 2015, Będlewo, Poland.

  26. Rigorous integration of dissipative PDEs revisited- chaos in the Kuramoto-Sivashinsky equations. Computation in Dynamics, April 2016, Providence, USA, (invited talk).


Teaching:

  • Concurrent Programming
  • Numerical Algorithms
  • Programming (object oriented, script, functional, generic) in C++, Java, C#, Perl, Scheme, Mathematica
  • Calculus
  • Discrete Mathematics
  • Linear Algebra
  • Probability and Statistics