Corto Mascle

LaBRI, Bordeaux

About

I am a PhD student in LaBRI, Bordeaux, under the supervision of Anca Muscholl and Igor Walukiewicz. My thesis is about monitoring and control problems over models of distributed systems, but I am interested in everything related to automata, logics and games. Before that, from 2017 to 2021, I was a student at the ENS Paris-Saclay.

Publications

  • Distributed controller synthesis for deadlock avoidance.
    with Hugo Gimbert, Anca Muscholl and Igor Walukiewicz, ICALP 2022.
    pdf
  • Keyboards as a New Model of Computation.
    with Yoan Géran, Bastien Laboureix and Valentin D. Richard, MFCS 2021.
    pdf / arxiv with french version
  • Responsibility and verification: Importance value in temporal logics.
    with Christel Baier, Florian Funke, Simon Jantsch and Stefan Kiefer, LICS 2021.
    pdf
  • From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.
    with Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert and Martin Zimmermann, HSCC 2020.
    pdf / journal version
  • The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas.
    with Martin Zimmermann, CSL 2020
    pdf
  • On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words.
    with Stefan Kiefer, STACS 2019.
    pdf / journal version

Talks

Despite some differences between presentations, I am only giving one representative set of slides for each subject.

  • Distributed controller synthesis for lock-sharing systems
    Seminar at LMF (April 2022), Highlights (June 2022), ICALP (July 2022), RP (October 2022), Seminar at IRISA (February 2023)
    slides
  • Keyboards
    Computer Science department seminar at ENS Paris-Saclay (February 2021), QuantLA seminar at TU Dresden (April 2021), MFCS (August 2021), LX Seminar at LaBRI (September 2021)
    slides
  • Responsibility in verification
    LICS (June 2021), ARPE internship defense (September 2021), MTV seminar at LaBRI (October 2021)
    slides
  • Limits of decidability for HyperLTL satisfiabilty
    M1 internship defense (September 2019), CSL (January 2020)
    slides
  • Killing words
    L3 internship defense (September 2018), STACS (March 2019), Verification seminar at IRIF (February 2020)
    slides

Teaching

Me

News

My research blog

  • SOAP (Simple Open and Annoying Problems)