The primary focus of his research is to develop formal and computational methods, tools and techniques which support the modeling and automated analysis of complex computational systems, including software systems, embedded systems and biological systems.