Jui-Hsuan Wu (Ray) 吳睿軒

Hi! I am Jui-Hsuan Wu! I am a postdoctoral researcher working with Denis Kuperberg and Olivier Laurent in the Plume team, LIP, ENS Lyon, on the ANR project RECIPROG. I also go by the name Ray.

Previously, I was a PhD student at LIX, Ecole Polytechnique & Inria Saclay advised by Dale Miller and Beniamino Accattoli. Even before, I studied computer science and mathematics at Ecole Normale Supérieure and got a master degree from Master Parisien de Recherche en Informatique. You can have a look at my CV (Version française).

Research interests

• Proof theory
• Logic
• \(\lambda\)-calculus
• Functional programming

Misc

I am from New Taipei, Taiwan.

Find out how my name is pronouced: Jui, 睿 (sounds like ray in English) and Hsuan, 軒.

Take a look at APLL, an automated prover for propositional linear logic designed and implemented by me.

I am an amateur go player. I used to be a 6-dan player (a long time ago) back in Taiwan.

I am a music enthusiast. I mainly listen to Hip Hop, R&B, and Jazz. My favorite artists are Soft Lipa, Loyle Carner, FKJ, Mac Miller, H.E.R., Nick Hakim, Sunset Rollercoaster, …

I recently got into French touch music: Modjo, Étienne de Crécy, Cassius, Breakbot, and of course the one and only Daft Punk.

My brother is a freelance image maker, check out his works here.