Jui-Hsuan Wu (Ray) 吳睿軒

Hi! I am Jui-Hsuan Wu! I’ll soon be joining Grenoble INP - UGA as a Maître de Conférences (assistant professor). I also go by the name Ray.

Before, I was a postdoctoral researcher in the Plume team, LIP, ENS Lyon, funded by the ANR project RECIPROG.

Even before, I was a PhD student at LIX, Ecole Polytechnique & Inria Saclay advised by Dale Miller and Beniamino Accattoli. Before my PhD, 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, proof search, $\lambda$-calculus and abstract machines.

Recently, in collaboration with Olivier Laurent, I have been working on proof theory for subtyping of intersection types. I am also continuing my work on the positive $\lambda$-calculus, a variant of $\lambda$-calculus with explicit substitutions I introduced during my PhD. See my APLAS 2023 paper, as well as our MFPS 2024 and APLAS 2025 papers, 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 sometimes play Go when I have time. My EGD profile.

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

My brother is an image maker. Check out his work here.