ozgurkon-2020-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
WIP Speakers & Sessions 5 years ago			`---`
			`key: theophile_wallez`
Add Blanc + CapGemini + Fix 5 years ago			`name: Theophile Wallez`
Use new tooling 5 years ago			`id: LuqEI6DZnoeJYQdQ1KHsKrj57Pm1`
WIP Speakers & Sessions 5 years ago			`feature: false`
Use new tooling 5 years ago			`company: ENS Ulm`
			`city: 'Paris, France'`
Update data 5 years ago			`photoURL: /images/speakers/theophile_wallez.png`
WIP Speakers & Sessions 5 years ago			`socials:`
			`- icon: twitter`
Use new tooling 5 years ago			`link: 'https://twitter.com/twallez'`
WIP Speakers & Sessions 5 years ago			`name: twallez`
			`- icon: github`
Use new tooling 5 years ago			`link: 'https://github.com/TWal'`
WIP Speakers & Sessions 5 years ago			`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].`

Use new tooling 5 years ago			`[CakeML]: https://cakeml.org`