forked from oyd/ozgurkon-2020-site
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
636 B
20 lines
636 B
6 years ago
|
---
|
||
|
id: LuqEI6DZnoeJYQdQ1KHsKrj57Pm1
|
||
|
key: theophile_wallez
|
||
|
feature: false
|
||
|
name: "Theophile Wallez"
|
||
|
company: "ENS Ulm"
|
||
|
city:
|
||
|
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
|