Welcome to Emendo Ex Erratum !

 

 

 

rombul1d

Critical Software Products

rombul1d

Publications

 

 

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

 

RW_Estes

 

 

 

© 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.