Research Assistant

Paul G. Allen School of Computer Science & Engineering
University of Washington

185 E Stevens Way NE
CSE2 252


I’m interested in software engineering, programming languages, and verification. I’m currently working on Cornelius, a tool to detect equivalent mutants using E-graphs.

I’m also interested in music and sometimes lose money playing poker.


I’m a second year PhD in University of Washington’s CSE department working with René Just. I have a BS in Math and Computer Science, and a MS in Computer Science from University Massachusetts, Amherst.


Medusa: Mutant Equivalent Detection using Satisfiability Analysis
by Benjamin Kushigian, Amit Rawat, and René Just.
In Proceedings of the International Workshop on Mutation Analysis (Mutation), April 22 2019.

Blog Posts

subscribe via RSS