Announcement_13

I have been awarded an NWO Veni grant to support my research on certification for infinite-state systems for the next few years.