Ilya Kaysin

I am a PhD student at the University of Cambridge (sup. by Neel Krishnaswami). Before, I was a researcher in Weak Memory team at JetBrains Research
CV
  • • Software Verification
  • • Concurrency
  • • Interactive Theorem Proving
  • • Algorithms
  • • Type Theory
  • • Weak Memory Models

Publications