Latest News

This week, Peter was featured in a CBC article that focused upon the AI data-scraping bots that are overwhelming university library websites, slowing or crashing online collections and limiting access for students, researchers and the general public.

This week, Peter travelled to Grandview School to discuss artificial intelligence and its role in education.

As AI continues to shape our teaching and learning practices, it is important to consider not only what this technology can do, but also how we can use it thoughtfully, responsibly, and in ways that support meaningful learning.

Morten joined us at the start of the semester to collaborate with Andrew Putnam and Peter Lewis on problems of fairness in systems requiring run-time verification.

We are sorry to see you reach the end of your visit, and would like to thank you for spending time with us as a visiting researcher. We hope your experience has been both enjoyable and valuable, and we are eager to see where this collaboration runs off to!

A huge welcome to Morten, a Visiting Research from Aarhus University.

During Morten’s PhD and in close collaboration with his colleague Thomas Wright, Morten developed the first stream-based Runtime Verification (RV) language capable of reconfiguration at runtime, where historical states are preserved when sensible.