ahmed rezine

firstname.lastname@liu.se
Tel: +46 (0)13 28 19 38
Linköping University
SE-581 83 LINKÖPING

Research

The following page is lazily maintained. You might want to check out dblp or google.

journals:

conferences:

miscellaneous:

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.