Experience
Education
Bio
RESEARCH INTERESTS
Software Engineering; Software Security and Dependability; Applied Formal Methods; Software Analysis and Testing; Software Architecture and Design; Embedded, Mobile, and Pervasive Software Systems.