I'm a senior research scientist (DR1) interested in logic and computation, and in the design of high-level modelling/programming languages.
Most of my current research is now in computational systems biology and synthetic biology, where I see
cells as machines,
biochemical reaction systems as programs,
and develop analysis and design tools for complex biochemical systems, rooted in theoretical computer science.
I coordinate the development of the biochemical abstract machine (BIOCHAM) modelling and analysis software. I use this software to tackle challenging biological questions in cell signalling and cancer chronotherapeutics optimization.
Because of the importance of optimization and constraint-based methods in this work, I also keep a research activity in constraint logic programming for solving combinatorial and continuous optimization problems in other domains.