news
recent updates
| Jun 9, 2026 | I will be attending the Formal Methods Update Meeting 2026 at Krea University from July 2-3, 2026. |
|---|---|
| Jun 1, 2026 | I will be attending the Indian School on Logic and Applications 2026 at Krea University from 25-30 June 2026. |