I primarily work on the boundary of mathematics, computer science and control theory with strong emphasis on programming languages (design, implementation and embedding), statistical analysis, formal and logical methods (practical verification, synthesis and logic).
I apply such techniques and tools to various fields in the general framework of control and simulation of complex systems with differential equations (hybrid systems, discrete control, and approximate methods) and stochastic discrete event driven algorithms.
In my activities I have always tackled problems both from a theoretical and from a pragmatic and applicative viewpoints, in order to build various systems capable of providing adequate solutions.
For the last years I have applied these methods to biochemical pathways and computational systems biology. Before that I worked on problems and examples coming from robotics, automotive and highway systems, and from hardware and software embedded systems.