Daniel C. DeFreez

I am an Assistant Professor of Computer Science at Southern Oregon University, where I teach systems software and programming languages. I have long-standing interests in program analysis, security, and why computers are the way they are.

I am co-founder of Practical Program Analysis, LLC.

I earned my PhD at UC Davis, where I was advised by Cindy Rubio-González and Aditya Thakur. My thesis was on error-handling specification inference.

I live in Ashland, OR with my lovely wife Rebekah. We have a sweet chihuahua and a fuzzy marmalade cat named Pan. We were going to name the cat Pangloss after the greatest philosopher to ever live, but he turned out not to be a great philosopher.