I am a first year PhD student at the Max Planck Institute for Software Systems (MPI-SWS), based in Kaiserslautern, Germany. I am advised by Viktor Vafeiadis. My current research focuses on weak memory models. I have previously worked on fuzz testing and application security solutions.
- (November 2022) Automatically Resolve Errors During Analysis with Mayhem
- (October 2021) Generating a Tiny Corpus with Greedy Set Cover Minimization