Othmane Rezine – PhD Student

Address: Division of Computer Systems
Department of Information Technology
Uppsala University
Box 337
SE-751 05 Uppsala
Sweden
Visit: ITC building 1, floor 4, room 1457
Phone: +46 18 - 471 3158
Fax: +46 18 511925
Email: othmane.rezine@it.uu.se

Short biography

I am a telecommunication engineer from Sup-Com Tunis (2005). From 2005 to 2009 I programmed embedded systems for various applications. In 2010, I joined the algorithmic program verification group at the department of information technology of Uppsala University as a PhD student under the supervision of Pr. Parosh Abdullah and Pr. Bengt Jonsson.

Research

My research concerns verification of sensor and ad hoc networks.

Wireless Sensor Networks represent an interesting area of research for the fundamental problems they pose but also for the multitude of applications they can have.
In fact, WSNs are composed of autonomous communicative nodes with varying communication topologies and harsh energy constraints. Their applications range from air pollution, waste water to machine health monitoring.

We are in particular interested in the timed and probabilistic aspects of these systems.

Last but not least, I am also involved in developing a verification tool for parametrized symbolic representations.

Publications

  • Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso. On the Verification of Timed Ad Hoc Networks. In Proceedings of FORMATS'2011, the 9th International Conference on Formal Modeling and Analysis of Timed Systems, 2011.

Courses

I have been assisting for the following courses:

Year Semester Course
2011 Spring Programming Embedded Systems
2011 Spring Computer Networks I
2010 Autumn Computer Networks I