ozgurkon-2021-site/content/speakers/theophile_wallez.md

---
key: theophile_wallez
name: Theophile Wallez
id: LuqEI6DZnoeJYQdQ1KHsKrj57Pm1
feature: false
company: ENS Ulm
city: 'Paris, France'
photoURL: /images/speakers/theophile_wallez.png
socials:
  - icon: twitter
    link: 'https://twitter.com/twallez'
    name: twallez
  - icon: github
    link: 'https://github.com/TWal'
    name: TWal
---
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