I have published over 100 peer-reviewed scientific papers on different aspects of software design and verification. From 2005-2015 I was Executive and Scientific Director of the Fraunhofer USA Center for Experimental Software Engineering at UMD. Fraunhofer USA is a subsidiary of Fraunhofer-Gesellschaft – the largest applied research organization in Europe. Fraunhofer conducts applied-research projects with government and private industry. I am also co-founder of a company, Reactive Systems Inc., that develops and sells software-testing tools to automotive, aerospace and medical-device organizations. I hold two patents on software-design and -testing technologies.
Software engineering; software testing; software verification; embedded software; software in automotive, aerospace and medical applications; software design