Before that he was Senior Research Scientist of the NYU Courant Bioinformatics Group in New York and a Research Scientist at PARADES EEIG in Rome, Italy. From 1996 to 1997 post Doctoral fellow at University of California at Berkeley PATH Institute. He received his Ph.D in Computer Science from Courant Institute of Mathematical Sciences of New York University. His main research topics are Bioinformatics and Systems Biology, Simulation, Verification and Language Design Issues in Hybrid Systems. Marco Antoniotti is the author of several journal and conference papers and of several software projects; he has received support for his research from the Regione Lombardia, NSF, the Elixir european network and the European Commission under the MCSA and COST actions.