cs-t1
Computer science, Esperanto and aviation enthusiast. Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
École Normale Supérieure, Paris.Paris
cs-t1's Following
- neodb-socialCanada
- Edu4Chip
- mirage
- NukesorHamburg, Germany
- lip6Paris
- Swire42
- terra0project
- mattvenn@YosysHQ-GmbH @TinyTapeout
- keesj
- TinyTapeout
- ColoquinteAMD
- regardscitoyensFrance
- ghislainfournyETH Zurich
- Dinnerbone@Mojang
- ThreeFxZurich, Switzerland
- ReVancedUnited States of America
- Titoutee
- ZigEmbeddedGroup
- RemyCiterinENS Ulm
- 01mf02Innsbruck
- tbrkInria
- 3b1b3Blue1Brown
- gabriel-doriath-dohler
- pfournier01ENS Ulm
- samsa1INRIA
- backtracking