Announcement_7

Excited to share that I’ll be visiting Polytechnique Montréal to work with Prof. Foutse Khomh. This short-term research will focus on using formal methods for AI safety. I’ll be in Montréal until Aug 28, 2025.