ahmed rezine

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

Associate professor ("universitetslektor") at Linköping University. I look for ways to extend automated verification techniques to computer systems with state spaces of arbitrary sizes:

I lead the the industrially funded CENIIT 12.04 research project about applying and extending automatic verification.

I am looking for clever and hard working students to carry out several exciting Master's and Bachelor thesis projects.

News