Jui-Hsuan Wu (Ray) 吳睿軒

Bonjour! Je suis actuellement en thèse au LIX, Ecole Polytechnique & Inria Saclay. Je travaille sur les représentations syntaxiques inspirées par la théorie des preuves. Mon directeur de thèse est Dale Miller.
Par ailleurs, je suis ancien élève de l’ENS Ulm. Avant d’intégrer Ulm, j’étais en prépa au lycée Janson-de-Sailly. Voici mon CV.

Je m’intéresse à la théorie de la démonstration, la programmation fonctionnelle et la programmation logique.

APLL, un prouveur automatique pour la logique linéaire propositionnelle.

Comment prononcer mon prénom? Jui, 睿 (un peu comme ray en anglais) et Hsuan, 軒.

Mes musiciens favoris sont Soft Lipa, Loyle Carner, FKJ, Mac Miller, H.E.R., Nick Hakim, …

Mon frère est illustrateur, voici sa page web.