The F* Project

Established: March 25, 2011

F* is a verification-oriented dialect of ML. For more information, please visit https://fstar-lang.org or click on the logo below.

F*

People

People

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