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 few years I have applied these methods to biochemical pathways and systems biology. Before that I worked on problems and examples coming from robotics, automotive and highway systems, and from hardware and software embedded systems.
My curriculum vitae.
Places and Activities
Department of Informatics, Systems and Communications
email: antoniotti [dot] marco [ atsign ] disco.unimib.it tel.: +39 02 64 48 79 01 fax: +39 02 64 48 78 05