FactsBio and interests
I hold a Laurea degree from the University of Rome
"LaSapienza". After graduating, I spent two years at Ericsson Lab Italy
working on System-on-Chips and System-Level Design. I moved to
California in 2001. I received a M.S degree from the University of
California, Berkeley in 2003, and a Ph.D. from the same university in
2008, both in Electrical Engineering and Computer Sciences.
I'm currently a Senior Scientist at the United Technologies Research
Center in the Embedded Systems and Netwroks group.
My reserach interests are in the field of Netwroked Embedded Systems
with emphasis on automatic synthesis and analysis.
This interchange
format aims at facilitating the interoperability of hybrdi system
tools. There are many hybrid system tools ready to be used for
different purposes: simulation, analysis and synthesis.
Each tool follows a standard denotational definition of hybrid
systems. However, when it comes to implementation, each tool embeds
fairly different assumptions on the operation semantics of hybrid
systems. HyInFo is an interchange formal that is based on a abstract
operational semantics which is general enough to encompass all of the
concrete operational semantics used by different tools.