About SYSTEMF lab

Systems and Formalisms Laboratory, EPFL IC

We're a programming languages, formal methods, and systems engineering lab at EPFL, led by Clément Pit-Claudel. We use (and invent!) mathematical formalisms and interactive tools to explore new ways to develop computer systems.

Lists

Timeline

systemf has no activity yet