about
research lab
activities
publications
students
talks
teaching
cv

Yolo

May 25, 2026

2026

Our paper on Lazy Proof Automation for Separation Logic will appear at ITP 2026!

© Copyright 2026 Ilya Sergey. Powered by Jekyll with al-folio theme.