--- id: LuqEI6DZnoeJYQdQ1KHsKrj57Pm1 key: theophile_wallez feature: false name: "Theophile Wallez" company: "ENS Ulm" city: Paris, France photoURL: "https://avatars0.githubusercontent.com/u/534526?v=4" socials: - icon: twitter link: https://twitter.com/twallez name: twallez - icon: github link: https://github.com/TWal name: TWal draft: true --- Théophile Wallez est étudiant en informatique à l’ENS Paris. Passionné - entre autres - par la programmation, du Brainfuck aux preuves formelles, et aussi de régie son & lumière et DJ’ing. Il est aussi contributeur sur le compilateur vérifié [CakeML]. [CakeML]: https://cakeml.org