All decks Close
All decks 29

  • Seminar: User testing

    Nov 24, 2025 70 0

  • (Week 3; Lecture) Prototyping

    Oct 01, 2025 65 0

  • (Week 2; Lecture) UX research

    Sep 30, 2025 67 0

  • (Week 3; Seminar) UX research seminar

    Sep 30, 2025 52 0

  • (Week 1; Lecture) PV252 Intro

    Sep 17, 2025 76 0

  • Robust control of Boolean networks in systems biology

    Apr 09, 2023 118 0

  • Bifurcation analysis of logical models in systems biology

    Sep 20, 2022 126 0

  • Variable Stabilisation in Boolean Monotonic Pools

    Sep 12, 2022 158 0

  • Thesis Defence

    Jun 18, 2022 167 0

  • Finding SCCs in many systems at once using symbolic algorithms

    Mar 29, 2022 160 0

  • IST Bridge Interview

    Dec 09, 2021 182 0

  • CAV '21 25min

    Jun 25, 2021 177 0

  • CAV '21 5min

    Jun 22, 2021 197 0

  • Joseph Fourier Prize

    May 29, 2021 182 0

  • Symbolic Encoding of Boolean Networks

    Apr 30, 2021 202 0

  • Aeon 2020and beyond

    Feb 25, 2021 184 0

  • Reach tubes

    Oct 18, 2019 228 0

  • Algebraic Geometry:

    Feb 21, 2019 250 0

  • Parallel parameter synthesis from HUCTL (3min)

    Dec 07, 2017 337 0

  • Parallel parameter synthesis from HUCTL (12min)

    Dec 06, 2017 319 0