I am currently a Faculty Fellow/Assistant Professor at NYU Courant. I am also an incoming Assistant Professor (currently an Adjuct Professor) at the University of Alberta and an Amii fellow.
My research areas include programming languages, formal methods, and natural language processing. More specifically, I do research on program synthesis and neurosymbolic programming.
I am recruiting MS/PhD students at the University of Alberta. I am open to working with (undergrad/grad) research interns if there is a strong match.
Please take a look at my research interests below and Notes to Prospective Students if any of these questions interests you as well.
Research Interests
My current research interests revolve around the following key questions in AI-assisted programming:
How can we leverage state-of-the-art machine learning models to create new programming abstractions? How can we leverage symbolic and neural techniques to synthesize programs in a correct, scalable, user-friendly way?
What are the right abstractions for programming tasks involving Large Language Model (LLM) invocations?
How can we effectively integrate programming interfaces with program synthesizers?
If you're interested in working with me, please send an email with the subject line "Prospective Student", and include your CV and transcript. Please note that I may not be able to respond to all individual inquiries about research opportunities or admissions.
Scheduling
To make scheduling easier, my availability can be viewed
on my public calendar. Important: Please refrain from scheduling a meeting unless we have mutually agreed to meet beforehand. This ensures efficient use of our time and prevents any misunderstandings.
Personal
I am originally from Nanjing, China. I go by Jocelyn, though my publications appear under Qiaochu Chen (written as 陈翘楚 in Chinese).