ahmed.rezine[email]liu.se (gpg) Tel: +46 (0)13 28 19 38 Fax: +46 (0)13 14 94 03 Linköping University SE-581 83 LINKÖPING
Forskarassistent (Assistant Professor) at ESLAB/ Department of Computer and Information Science in Linköping. I look in my research for ways to extend automated verification techniques in general, and Model Checking in particular, to systems with unbounded state spaces. Examples include verification of parameterized concurrent and distributed systems and heap manipulating programs.
In my Parisian post-doc (LIAFA) I worked on the verification of sequential programs with dynamic heaps. This was followed by my Uppsala post-doc (UPMARC-initiative) where I worked on the applications of verification to multicore systems. I obtained my thesis, about the verification of parameterized systems, under the supervision of Prof.Parosh Abdulla from Uppsala University. I obtained my Engineering degree from Tunisia's Polytechnic School.
I am developing a new prototype PCW to experiment with an original adaptation of counter abstraction for the verification of parameterized systems.
I develop UNDIP for the verification of safety properties for Unbounded Distributed Parametreized systems. UNDIP is a generalization of PFS which verifies the same type of properties for Parameterized Finite state Systems.