WITS 2025
Program committee
Name
Affiliation
Andrej Bauer
University of Ljubljana
Chandrakana Nandi
Certora
Gabriel Scherer
INRIA
Jacques Carette
McMaster University
Kuen-Bang Hou
University of Minnesota
Nikhil Swamy
Microsoft Research
Sebastian Ullrich
chair
Lean FRO