WASP is very proud to have so many excellent researchers involved in the program. More than 450 researchers, reaching from assistant to senior professors, are affiliated with WASP. Some are international recruitments who have come to Sweden to join the WASP community, others are already well established in the Swedish academic system.

Through a series of portraits, you get the opportunity to get to know them a little bit better.

Meet Ahmed Rezine

Ahmed Rezine is an Associate professor at the Department of Computer and Information Science at Linköping University. Dr Rezine joined WASP in 2022.

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.

For more information about Dr Rezine, see https://rezahmed.github.io/

Published: November 28th, 2022

Latest news

We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners. View more
Cookies settings
Privacy & Cookie policy
Privacy & Cookies policy
Cookie name Active
The WASP website wasp-sweden.org uses cookies. Cookies are small text files that are stored on a visitor’s computer and can be used to follow the visitor’s actions on the website. There are two types of cookie:
  • permanent cookies, which remain on a visitor’s computer for a certain, pre-determined duration,
  • session cookies, which are stored temporarily in the computer memory during the period under which a visitor views the website. Session cookies disappear when the visitor closes the web browser.
Permanent cookies are used to store any personal settings that are used. If you do not want cookies to be used, you can switch them off in the security settings of the web browser. It is also possible to set the security of the web browser such that the computer asks you each time a website wants to store a cookie on your computer. The web browser can also delete previously stored cookies: the help function for the web browser contains more information about this. The Swedish Post and Telecom Authority is the supervisory authority in this field. It provides further information about cookies on its website, www.pts.se.
Save settings
Cookies settings