Rijul Jain

I’m an undergraduate at Williams College majoring in English and Computer Science. I was a visiting student at the University of Oxford for the 2023-24 academic year. Currently, I work on research at the intersection of human-computer interaction, programming languages, and artificial intelligence. I’m interested in computing education research as a space that can benefit from interactions with those three areas.

This summer, 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.