Dr Aaron Bembenek

Aaron Bembenek is a computer science postdoc at the University of Melbourne supervised by Toby Murray, working on Cybersecurity Assurance for Teams of Computers and Humans. Aaron earned a PhD in computer science at Harvard University, where he was advised by Stephen Chong and was a member of the programming languages group. His PhD research focused on combining logic programming and constraint solving, with applications to program analysis and synthesis. Aaron has an undergraduate degree in classics from Princeton University.