Lars Warren Ericson, PhD

I earned my PhD from the Courant Institute Computer Science Department in 1994. My PhD thesis was on some pragmatic issues related to the application of decidable sublanguages of set theory to the derivation of correct programs. Press here for a .PDF copy of my PhD thesis.

My advisor was Bud Mishra. Jim Cox and Ed Schonberg were my co-advisors.

In my Ph.D thesis, I For further information on my current career, please see my LinkedIn profile.