UPPSALA UNIVERSITET : Institutionen för Informationsteknologi
Uppsala universitet

Noomene Ben Henda's webpage

Home

CV

Publications

Teaching

Pictures

Private

Home

My name is Noomene Ben Henda and I'm a Tunisian citizen. I graduated as a master in engineering from the polytechnic School of Tunisia in 2002.

Presently, I'm a Phd student in the algorithmic program verification group. My supervisor is Professor Parosh Aziz Abdulla. My co-supervisors are (previously) Professor Bengt Jonsson and (now) Richard Mayr from North Carolina State University.

Research

In my research, I'm focusing mainly on two topics:

Infinite-state Stochastic Systems: We study quantitative and qualitative problems in infinite-state stochastic systems induced by probabilistic systems such as Probabilistic Lossy Channel Systems (PLCS), Probabilistic Vector Addition Systems with States (PVASS) and Noisy Turing Machines (NTM).

My work within this field is carried out in collaboration with Parosh Aziz Abdulla, Richard Mayr and Sven Sandberg.

For further details, checkout this page.

Parameterized Systems: These are systems induced by a finite number of identical finite-state processes arranged in a linear topology. The goal is to model check the system regardless of the number of processes.

My coworkers along this field are: Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine.

More details on the subject are included here.

Contact me
Noomene Ben Henda

Address: Dept. of Information Technology Computer Systems Uppsala University Box 138 SE-751 05 Uppsala, SWEDEN

Phone: +46 18 471 7217

Fax: +46 18 511 925

Email:

noomene.benhenda@it.uu.se

URL:

http://user.it.uu.se/~nbh

Office: MIC, Polacksbacken, Build. 1, Room 138. Uppsala, SWEDEN