Registered user since Thu 17 Sep 2020
Name:Aaron Bembenek
Bio:
I am a computer science postdoc at the University of Melbourne supervised by Toby Murray. I work in the areas of programming languages and automated formal methods, with a current focus on automatically proving security properties about binary code.
I earned a PhD in computer science at Harvard University, where I was advised by Stephen Chong. My PhD research focused on combining logic programming and constraint solving, with applications to program analysis and synthesis.
Country:Australia
Affiliation:University of Melbourne
Personal website: https://aaronbembenek.github.io
Research interests:Programming languages, automated formal methods
Contributions
Using general profile