Welcome to Emendo
Ex Erratum !
|
|
|
|
Hi! My name is Dr. Richard Wallace.
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. To contact me please use the e-mail
address below replacing the obvious: wallacerim –at– aol
–dot– com |
|
©
Emendo Ex Erratum.
All
content Copyright of Emendo-Ex-Erratum.
Permission
is granted to copy content as long as proper credit is given to
Emendo-Ex-Erratum.org and the web address is given.