ahmed rezine

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

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

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. Contact me if interested or want to discuss a project.

News