news

Jun 27, 2023	Check out my interview at the ETAPS blog.
Apr 26, 2023	My PhD thesis won the 2023 ETAPS doctoral dissertation award.