| Sep 2019 - now, Assistant professor in computer science at University of Warsaw |
| Jul 2017 - Aug 2019, Postdoc at UCSD, CSE department, advisor prof. Sicun Gao |
| Oct 2015 - Jul 2017, Postdoc at Rutgers -- The State University of New Jersey, Department of Mathematics, advisor prof. Konstantin Mischaikow |
| Feb 2014 - Sep 2015, Postdoc at University of Warsaw, Faculty of Mathematics, Informatics and Mechanics, advisor prof. Piotr Mucha |
| Sep 2013 - Feb 2014, assistant professor (adiunkt), Jagiellonian University |
| Ph.D. Studies, Computer Science, Jagiellonian University, academic year 2009 - 2013. Research
topic: Computer Assisted Proofs and Rigorous Numeric for Partial Differential Equations.
Supervision: prof. Piotr Zgliczyński. |
| "Contractibility of Persistence Map Preimage"
| ATDD, MSU Bozeman, July 2018
|
| "Rigorous Numerics and Computer Assisted Proofs for Dynamical Systems"
| Applications of Formal Methods to Control Theory and Dynamical Systems, Carnegie Mellon University,
Pittsburgh, June 2018 |
| "Rigorous Integration Forward in Time of PDEs Using Chebyshev Basis"
| MS13 -- Computer Assisted Proofs in Dynamical Systems, Snowbird, SIAM DS2017 |
| "Proof of the heteroclinic connections in the 1D diblock copolymers model +
some remarks on rigorous integration of PDEs."
| Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics 17w5141, May
7 to May 12, Banff, AB, Canada, 2017 |
| "Lagrangian Reachability" |
CyberCardia annual meeting, UPenn, Philadelphia, Apr 2017 |
| "Computer proof of heteroclinic connection in 1D diblock copolymers PDE model" |
AIMS, Orlando, Jul 2016 |
| "Integration of PDEs.\\Computer proof of a heteroclinic connection" |
Computational Proofs for Dynamics in PDEs, Lorenz Center Leiden, Jun 2016 |
| "Rigorous integration of ODEs and PDEs" |
CyberCardia meeting, Stony Brook, Apr 2016 |
| "Stabilizing effect of large average initial velocity in forced dissipative PDEs..." |
ICMC Summer Meeting on Differential Equations, Sao Paulo, Brazil, Jan 2016 |
| "Existence of globally attracting solutions..." |
Foundations of Computational Mathematics conference, Montevideo, December 2014 |
| "Some results on global attractors of certain parabolic PDEs and a 2D convection-
diffusion PDE" | Rigorously Verified Computing for Infinite Dimensional
Nonlinear Dynamics (14w5098), Banff, September 2014 |
| See record of all of my conference attendances |
| Dec 17, 2019; FAU Florida Atlantic University; Colloquium talk about TDA research |
| March 5, 2018; UC San Diego, CSE Department; AI Seminar |
| Jan 9, 2017; Imperial College London; Dynamical systems seminar |
| March 30, 2017; PRINCETON UNIVERSITY, DEPARTMENT OF MATHEMATICS; Analysis of Fluids and Related Topics |
| Friday, December 2, 2016; GEORGE MASON UNIVERSITY; DEPARTMENT OF MATHEMATICAL SCIENCES, APPLIED AND COMPUTATIONAL MATHEMATICS SEMINAR |
