Dutch Formal Methods Day 2024 Contributors - Dutch Formal Methods Day 2024

Tue 16 Apr 2024 Utrecht, Netherlands

Filter

Role Type

Contributing to

Number of Roles

Country

Results (12)

B Kevin BuzzardBuzzard, Kevin Imperial College London Why formalise mathematics?
C Georgiana CaltaisCaltais, Georgiana University of TwenteNetherlands Explainability in systems: from AI to FM and back
Johan CommelinCommelin, Johan University of Utrecht Organizing Committee in Organizing Committee within the Dutch Formal Methods Day-track
G Andrés GoensGoens, Andrés University of Amsterdam Guided Equality Saturation
H Sina HazratpourHazratpour, Sina Johns Hopkins University Fibred Categories in Lean 4
Marieke HuismanHuisman, Marieke University of TwenteNetherlands VerCors: Inclusive Software Verification
K Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Undefined Behavior: The Good, The Bad, and The Ugly
Loes KrugerKruger, Loes Small Test Suites for Active Automata Learning
N Paige Randall NorthNorth, Paige Randall Utrecht University Committee Member in Organizing Committee within the Dutch Formal Methods Day-track
P Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands A Logical Basis for the Verification of Message-Passing Programs
S Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Committee Member in Organizing Committee within the Dutch Formal Methods Day-track
W Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking