Research Activities
I currently work within
the
bioComputing
team. I'm interested in modeling biological systems, in order to
simulate them (via stochastic simulation) and analyze them. Our
last case study was the transcriptional attenuation of the
Tryptophan operon. Our rule-based model can be found
here.
Past activities
With K. Bertet at L3I (La Rochelle)
In 2002-2003 I worked with
Karell Bertet on
implicational systems on topics issued from my PhD. See
the
paper
at DMTCS.
With S. Pinchinat at Irisa (Rennes)
During my PhD (1998-2002) I worked with
Sophie Pinchinat on
the following topics:
- specification and validation of reactive systems
- synchronous
paradigm
- relational and multi-clock synchronous paradigm
- interactions between hierarchical control and data
For an overview of my phD, see the
paper at FAC.
Mirabelle Nebut
Last modified: Fri Jun 10 14:40:06 CEST 2005