Rijul Jain

In fall 2025, I’ll begin my PhD in Computer Science and Engineering in the Paul G. Allen School at the University of Washington, advised by Amy Ko and R. Benjamin Shapiro. I am a National Science Foundation Graduate Research Fellowship recipient.

I completed my BA in English and Computer Science, summa cum laude, with Highest Honors in English, at Williams College. I was a visiting student at the University of Oxford for the 2023-24 academic year.

In 2024, I designed and conducted a study of expert users of proof-oriented languages at Microsoft Research in Redmond, WA, under Shan Lu and Sarah Fakhoury. In the summer of 2023, I participated in Carnegie Mellon University’s Research Experiences for Undergraduates in Software Engineering (REUSE) program under Joshua Sunshine and Keenan Crane, generating domain-specific programs with large language models to democratize diagram authoring with Penrose. With Daniel Barowy at Williams, I’ve implemented a programming language that describes and captures UNIX filesystem state, sidestepping problems with breaking system call API changes to safely express program semantics for OS platform- and version-agnostic execution.

I use he/they pronouns.