Nicolas Waldburger

About me

Since October 2021, I'm a PhD student in the DEVINE team of INRIA Rennes, under the supervision of Nathalie Bertrand, Nicolas Markey and Ocan Sankur.

I successully defended my PhD on 11th December 2024 at 2pm, see this page for more info about the defense. My thesis can be found here.

I studied at Ecole Polytechnique from 2017 to 2020, and followed the MPRI in 2020-2021. You can find my resume here.

I have done two internships at IRIF, Paris: my M1 internship with Mahsa Shirmohammadi in 2020 and my M2 internship with Thomas Colcombet and Gabriele Puppis in 2021.

Research interests

My main topic of interest is formal methods for verification, and specifically parameterized verification of distributed systems.
I am also interested in Vector Addition Systems and Petri Nets, as well as automata theory.

Publications (see also my dblp)

• [ICALP'22] Parameterized safety verification of round-based shared-memory systems, with Nathalie Bertrand, Nicolas Markey and Ocan Sankur (arXiv and final version).
• [MFCS'23] Checking Presence Reachability Properties on Parameterized Shared-Memory Systems (published version and arXiv full version)
• [FoSSaCS'24] Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability (published version and arXiv full version), with Lucie Guillou et Corto Mascle
• [ICALP'24] Verification of Population Protocols with Unordered Data (published version and arXiv full version), with Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle and Chana Weil-Kennedy
• [CONCUR'24] Invariants for One-Counter Automata with Disequality Tests (published version and arXiv full version), with Dmitry Chistikov, Jerome Leroux and Henry Sinclair-Banks
• Temporal Hyperproperties for Population Protocols (arXiv), with Chana Weil-Kennedy, Pierre Ganty and César Sánchez

Talks

• Broadcast Networks of Register Automata

  • 17 November 2023: ELSE seminar (directly on the board)
  • 16 January 2024: Kickoff meeting of ANR PAVEDYS (slides)
  • 11 March 2024: TAVer seminar (IMDEA Software Institute) (slides)

• Parameterized verification of shared-memory systems

  • 5 October 2023: D4 day (D4 is the 4th department of IRISA) (slides)
  • 31 August 2023: MFCS 2023 (slides)
  • 25 July 2023: Highlights 2023 (slides)
  • 29 June 2023: MoVe seminar (slides)
  • 23 April 2023: SynCoP23 (slides)
  • 29 March 2023: ELSE seminar (directly on the whiteboard)
  • 28 November 2022: IRIF Verification seminar (slides)
  • 17 October 2022: RP 2022 (slides)
  • 5 July 2022: ICALP 2022 (slides)
  • 17 June 2022: MOVEP 2022 (slides)
  • 1 June 2022: ELSE seminar (slides)

• ω₁-machines and rewriting systems

  • 7 Sept. 2021: M2 internship defense (slides in French)

• Reachability in 1-VASS with tests

  • 3 Sept. 2020: M1 internship defense (slides)
  • 14 Sept. 2020: Highlights 2020 (slides and poster)

Teaching

• 2021-2022: Teaching assistant for
  • INF1: Practical sessions of Java introduction course for L1 students of ISTIC
  • ALGO2: advanced algorithmic course for L3 ENS Rennes students, with François Schwarzentruber
• 2022-2023: Teaching assistant for
  • PO: Oriented-programming course for L2 ISTIC students
  • PROG1: Advanced programming course for L3 ISTIC students
  • ALGO2: advanced algorithmic course for L3 ENS Rennes students, with François Schwarzentruber

Contact

Email

nicolas.waldburger [at] irisa.fr

Address

Bureau C210
Centre Inria de l'Université de Rennes
263, avenue du général Leclerc
35042 Rennes cedex - France