|Jul 2017 - now, Postdoc at UCSD, CSE department, under prof. Sicun Gao|
|Oct 2015 - Jul 2017, Postdoc at Rutgers -- The State University of New Jersey, Department of Mathematics, under prof. Konstantin Mischaikow|
|Feb 2014 - Sep 2015, Postdoc at University of Warsaw, Faculty of Mathematics, Informatics and Mechanics, under prof. Piotr Mucha|
|Sep 2013 - , 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|
||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
|"A construction of two different solutions to an elliptic system"||
CMS 2015 summer meeting - Rigorous Computation for Differential-Equation Problems workshop,
Charlottetown, Jun 2015
|"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
|Talks at special sessions SS78 "On the triviality of attractor of viscous Burgers equation...",
SS19 "Existence of globally attracting solutions of the viscous Burgers equation..."
||2014 AIMS Conference, Madrid, July 2014 |
|See record of all of my conference attendances|