If you're feeling unwell, get tested for COVID-19 and stay home until you’ve received a negative result. View our latest COVID-19 updates.
You are here:
Our lab hosts a variety of seminars to promote research and collaboration.
In this talk, I will present some work on logic, games, and formal verification, in particular for the automated analysis...