Tel: +46 (0)13 28 19 38
SE-581 83 LINKÖPING
The following page is lazily maintained. You might want to check out
My thesis, about the verification of
parameterized systems was supervised by Prof.Parosh Abdulla
from Uppsala University. I obtained my Engineering degree from
Tunisia's Polytechnic School.