Ahmed Rezine

Associate Professor, Department of Computer and Information Science, Linköping University

What is your position/role in WASP?

Project leader and supervisor.

Why did you choose to join WASP?

I joined WASP because of the opportunity it offers to conduct exciting and world class research on research areas that already impacts many technologies.

What are the benefits you see in WASP?    

WASP makes possible building a critical mass and resulting synergies for conducting high quality research that will have meaningful impacts on the future of an exciting field.

Briefly describe your research topic.

I look for ways to extend automated verification techniques. Interests:

• automatic verification in general and model checking, abstract interpretation, and decision procedures in particular
• parameterized verification: concurrent, distributed systems
• cache coherence protocols and timing side-channel attacks
• safety of machine learning algorithms

In what way can your research be of importance to our society in the future?

I strive to extend, both practically and theoretically, the applicability of automatic formal verification to new systems, including ML applications. In several application domains, it is not enough to build artifacts that behave often well, we need artifacts that cannot behave unsafely.