I am a PhD student in the Software Reliability Lab, supervised by Prof. Martin Vechev. My research focuses on static analysis techniques for relaxed memory models.