The F* Project

Established: March 25, 2011

F* is a verification-oriented dialect of ML. For more information, please visit (opens in new tab)or click on the logo below.


Portrait of Cédric Fournet

Cédric Fournet

Senior Principal Research Manager

Portrait of Nikhil Swamy

Nikhil Swamy

Senior Principal Researcher

Portrait of Santiago Zanella-Béguelin

Santiago Zanella-Béguelin

Principal Researcher