Rijul Jain
I’m an undergraduate at Williams College majoring in Computer Science and English. I’m currently a visiting student at the University of Oxford for the 2023-24 academic year. I work on research at the intersection of programming languages, human-computer interaction, and artificial intelligence.
This summer, I’ll be working on AI-augmented verification 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 (REUSE) program under Joshua Sunshine and Keenan Crane, researching domain-specific program generation with large language models to democratize diagram authoring using Penrose. As part of previous research with Daniel Barowy at Williams, I’ve also 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.
| résumé | github | email me! |