Jui-Hsuan Wu (Ray) 吳睿軒

Hi! I am Jui-Hsuan Wu! I am a postdoctoral researcher in the Plume team, LIP, ENS Lyon, funded by 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).

I am mainly interested in structural proof theory and its connection with the theory of programming languages. My research interests include focusing & polarization, Curry-Howard correspondence, linear logic, and $\lambda$-calculus. Recently, in collaboration with Olivier Laurent, I have been working on proof theory for subtyping of intersection types. I am also working on the positive $\lambda$-calculus, a variant of $\lambda$-calculus with explicit substitutions I introduced during my PhD. See our MFPS24 paper for more details.

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 linear logic designed and implemented by me. If you are new to linear logic, check out the interactive prover C1ick & c⊗LLec⊥ whose automated proving part is based on APLL.

I am a music enthusiast. My favorite artists include Daft Punk, Soft Lipa, Sunset Rollercoaster, Loyle Carner, FKJ, Mac Miller, and Parcels.

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