Ahmed Rezine is an Associate Professor at the Department of Computer and Information Science at Linköping University. Dr Rezine joined WASP in 2022.
Project leader and supervisor.
I joined WASP because of the opportunity it offers to conduct exciting and world class research on research areas that already impacts many technologies.
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.
I look for ways to extend automated verification techniques. Interests:
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.