last modified: Aug 2022

  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.

  2. Grants

    • 2022 -- awarded I-POB University project Beyond Human-AI Adversary Scenarios in Multi-player Computer Games
    • 2018 -- awarded Polish Returns - new programme for scientists - NAWA (4years, funded additional 2positions within group),
    • 2011 -- 2013, PI of Polish National Science Centre grant for young researchers (Preludium).

  3. Advised PhD students

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

  4. Selected invited talks

    5. "Intro & a historical perspective of Reinforcement Learning" 4EU+ Summer School on AI, Gargnano, Italy, August 2022
    "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

  5. Teaching experience

    6. Numerical Analysis for Artificial Intelligence 2 online(YouTube recorded lectures) Summer 2020 Master course at University of Warsaw
    Numerical Analysis for Artificial Intelligence (lecture notes) Summer 2018 Undergrad 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

  6. Major seminar talks

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

  7. Reviewing service

    8. 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
    Conferences
      AAAI 2023 Program Chair
    • Neurips 2022 (5rev)
    • ICML 2022 (4rev)
    • ICLR 2022 (3rev)
    • TACAS 2019
    Services
    • multiple reviews for mathscinet.ams.org including book review

  8. Leadership roles

    • Co-Vice Chair of Community Engagement at UCSD PDA

    © Jacek Cyranka 2021