- Professional experience
- Grants
- 2018 -- awarded Polish Returns - new programme for scientists - NAWA ~450k USD,
- 2011 -- 2013, PI of Polish National Science Centre grant for young researchers (Preludium) ~30k USD.
- Advised PhD students
- 2017-June 2019, Alex Georges, awarded PhD from The Department of Physics at UC San Diego at Mayer Hall
- Selected invited talks
- Teaching experience
- Major seminar talks
- Leadership roles
- Co-Vice Chair of Community Engagement at UCSD PDA
- Reviewing service I have served as a reviewer for the following major journals:
- Journal of Journal of Mathematical Analysis and Applications
- Discrete and Continuous Dynamical Systems Series A, Series B,
- Applicable Analysis
- SIAM Journal on Applied Dynamical Systems
- Journal of Differential Equations
- Journal of Applied and Computational Topology
- Fundamenta Informaticae
- Plos ONE
- TACAS 2019

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 |

Numerical Analysis for Artificial Intelligence (lecture notes) | Summer 2018 CSE190 course at UCSD CSE |

Math 136 - Calculus II for Life Sciences or Social Sciences lecture | Fall 2016 at Rutgers |

Honors Math 152 - Calculus II for the Mathematical and Physical Sciences lecture | Spring 2016 at Rutgers |

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 |

© Jacek Cyranka 2020