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.
ResearchIn 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).
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.
More details on the subject are included here.