Login
From:
SYSTEMF @ EPFL
(Uncensored)
subscribe
Blog – SYSTEMF @ EPFL
https://systemf.epfl.ch/blog/
links
backlinks
Roast topics
Find topics
Find it!
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.
