last modified: May 2021

  1. Professional experience
  2. 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.

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

  4. Advised PhD students
    • 2017-June 2019, Alex Georges, awarded PhD from The Department of Physics at UC San Diego at Mayer Hall Alex Georges

  5. Selected invited talks
  6. "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

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

  9. Major seminar talks
  10. 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

  11. Leadership roles
    • Co-Vice Chair of Community Engagement at UCSD PDA

  12. Reviewing service
  13. 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
    • multiple reviews for

    © Jacek Cyranka 2021