Rijul Jain

I am a first-year PhD student in the Paul G. Allen School of Computer Science & Engineering at the University of Washington, advised by Amy Ko and R. Benjamin Shapiro. I am a 2025 National Science Foundation Graduate Research Fellowship recipient. I’m generally interested in computing for the arts and humanities.

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.