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

Research interests:Programming languages, automated formal methods