I work on rigorous systems engineering. Sound theory and disciplined design methodologies were key to enable the electronics revolution. How can any design field benefit from these? My current focus is the development of algebraic frameworks and software packages to reason about global system properties through local knowledge of the properties of the elements comprising the system.
For publications and current projects, please visit the website of the