ahmed rezine

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

Associate professor ("docent") at Linköping University. I look for ways to extend automated verification techniques. Interests:

News