About Me

I've worked professionally in software development/engineering for about 20 years. During that time, I've worked on CAD software for EDA (Electronic Design Automation), small websites, corporate behemoths including Amazon, and other projects such as data audits, code optimization and virtualization of infrastructures.

In that time, I've had the privilege of working with some truly incredible people. People with whom I've spent countless late nights solving fascinating and complex problems.

While I have watched them grow –and tried to keep up with them– the technologies that drive most of the computing industry have not kept pace. Many of today's systems are built on fragile and failure-prone technologies that are difficult to reason about and full of undefined behavior. It's no wonder that security breaches, while once relatively rare, are now a weekly if not daily fixture of the news.

I was drawn to programming because of the potential for one person's efforts to potentially save countless hours of toil for the rest of humanity. The truly amazing technologies needed to fulfill this dream do indeed exist –some of them dating all the way back to the 1950s– though they are hardly known outside of academic and defense circles.

The Worse is Better™ mentality is digging us into a hole that grows deeper by the day and has given us a technological dystopia where computers routinely waste more of our time than they save.

My focus for the past decade has been to try find a way back to true computer science research with a emphasis on solving problems that enhance the human experience. I believe that the best way to accomplish these goals is via education, distributed systems research, and formal methods, while keeping cyber security considerations clearly in mind.