Who we are

The Formal Methods for Systems and Software Design (or simply FM) unit is part of the Digital Industry center at Fondazione Bruno Kessler (FBK).

The activities of the FM unit focus on the research of novel and efficient formal methods for the verification, validation, and safety assurance of systems and software in various application domains including space, avionics, automotive, railways, energy, semiconductors, and manufacturing.

Pictured: . Image courtesy of .

News and Events

Jobs and Studentships

Recent Posts