My primary occupation is leading research in
the Trustworthy Systems,
aiming at make software systems truly trustworthy, i.e., secure, safe and dependable. Prime application areas are safety- and security-critical cyberphysical systems such as aircraft, cars, medical devices, critical infrastructure and national security.

In 2006 I founded Open Kernel Labs
(OK Labs) for commercialising L4 microkernel technology. I served as
Chief Technology Officer (CTO) from 2006–2010 and as a Director
from 2006 until OK's acquisition by General Dynamics in August 2012.

There's a war on... between people who are trying to do something
and the people who are trying to keep them from doing something
wrong.Wilbur L. "Bill" Creech, Former commander of the USAF

Macnamara Fallacy:

The first step is to measure whatever can be easily measured. This is ok
as far as it goes.
The second step is to disregard that which can't be easily measured or
to give it an arbitrary quantitative value. This is artificial and
misleading.
The third step is to presume that what can't be measured easily really
isn't important. This is blindness.
The forth step is to say that what can't be measured really doesn't
exist. This is suicide.