|
Welcome. This is my personal and
interest-related, web site. So what's with the Latin emendo ex erratum?
It means "To free from faults out of error," or freedom from faults due to
error, to be the overarching message of this site. The topics here are for the
advancement of sound, science-based design, proof, and implementation of
Critical Software Products
through use of formal mathematics, theorems, systems thinking, and analysis of
safety critical systems.
Check out the
Publications page for some
interesting things I've written and presented.
On the Web Links page is an on-going set of links
for things I think are important.
On
My lateral
thoughts blog page are topics on various subjects of interest. Linear
thinking isn't always the best. |
 |