ahmed rezine

Tel: +46 (0)13 28 19 38
Linköping University

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

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

I co-investigate, with Prof.Sudipta Chattopadhyay, the Verification and Validation of Side-channel Freedom project project. The project members are grateful for the generous support of a highly competitive three-years grant from the Singapore Ministry of Education (MOE).

I am looking for clever and hard working students to carry out several exciting Master's and Bachelor theses. Contact me if interested or want to discuss a project.