DFMD 2026 Contributors - DFMD 2026

Thu 4 Jun 2026 Eindhoven, Netherlands

Filter

Role Type

Contributing to

Number of Roles

Country

Results (12)

B Machiel van der BijlBijl, Machiel van der AxiniNetherlands Model based testing of the Bilihome medical device, an experience report
Jore BooyBooy, Jore Eindhoven University of TechnologyNetherlands Session Chair of Talks (part of DFMD) Session Chair of Keynote (part of DFMD) Committee Member in Organizing Committee within the DFMD-track
E Christopher EsterhuyseEsterhuyse, Christopher University of AmsterdamNetherlands The JustAct framework (for open normative systems) and its definition in Rocq
K Alex KeizerKeizer, Alex University of Cambridge Scalable Verified Compilers with Declarative Rewrites
M Jingyi MeiMei, Jingyi Leiden UniversityNetherlands Regular Transducers for Quantum Circuit Families
O Rodrigo OtoniOtoni, Rodrigo University of GroningenNetherlands Correctness Certificates for Horn Solving
P Benedikt PeterseimPeterseim, Benedikt Parametrised complexity in discrete probabilistic programming and beyond
Jim PortegiesPortegies, Jim Eindhoven University of Technology Session Chair of Keynote (part of DFMD) Session Chair of Talks (part of DFMD) Committee Member in Organizing Committee within the DFMD-track
S Marcello SeriSeri, Marcello Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen Session Chair of Talks (part of DFMD) Co-organizer in Organizing Committee within the DFMD-track
Sirui ShenShen, Sirui Proving Circuit Functional Equivalence in Zero Knowledge
U Sebastian UllrichUllrich, Sebastian Lean FROGermany Theorem Proving in Industry
Y Emily YuYu, Emily Leiden UniversityNetherlands Automated Verification with Certificates