Jekyll2026-05-19T02:07:47+00:00https://aaronbembenek.github.io/feed.xmlComputer science postdoc at The University of Melbourne. Research in programming languages, automated formal methods, and binary analysis.