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.

My advisor is Azadeh Farzan.

Publications

Projects

Teaching