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

---
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
---
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			`---`
			`id: LuqEI6DZnoeJYQdQ1KHsKrj57Pm1`
			`key: theophile_wallez`
			`feature: false`
			`name: "Theophile Wallez"`
			`company: "ENS Ulm"`
Fix city, draft, and few links 5 years ago			`city: Paris, France`
WIP Speakers & Sessions 5 years ago			`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`
			`---`
			`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`