Home

I am Anthony Vandikas, a PhD student in Computer Science at the University of Toronto. My current research foci are software verification and synthesis, although my interests span across formal methods and programming languages.

Publications

• Automated Hypersafety Verification with Azadeh Farzan in CAV19 (pdf, ext, tool)
• Reductions for Safety Verification with Azadeh Farzan in POPL20 (pdf, ext, tool)

Projects

• Weaver is a software model checker that determines whether a correct program exists within an infinite set of reduced programs. It can be used to verify hypersafety properties.
• quasi-borel-spaces is a formalization of Quasi-Borel Spaces. Quasi-Borel Spaces are a semantic foundation for higher-order probabilistic programs, defined in the paper A Convenient Category for Higher-Order Probability Theory.

Teaching

See here.