Misha Aizatulin

Name:	Misha Aizatulin
Affiliation:	Open University & Microsoft Research
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Wed Jun 08 01:43:18 +0000 2022

Public lists managed by Misha Aizatulin

Talks given by Misha Aizatulin

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• "Loop Invariants on Demand", Rustan Leino and Francesco Logozzo
• Calysto: Scalable and Precise Extended Static Checking

Talks organised by Misha Aizatulin

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Misha Aizatulin actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.