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.

Teaching

See here.