About

I’m a Ph.D. candidate with the Electronic Design Automation group, University of Kaiserslautern, Germany. I am broadly interested in ensuring software correctness and security. Specifically, my research focuses on automated analysis techniques for software at binary level. In this blog, you can find relevant research notes about ideas that happen to be at the intersection between formal methods and applied engineering.

Home page
Linkedin
Github
Atom