Welcome to Emendo Ex Erratum !





Critical Software Products





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.