I’m a Ph.D. candidate at University of Kaiserslautern, Germany. I am broadly interested in ensuring software correctness and security. Specifically, my current focus is on analysis techniques for software at binary level. In the context of this research, I am exploring several ideas that happen to be at the intersection between formal methods and applied engineering.
For comments, please open an issue in this repository. Alternatively, you can contact me directly by email.