January 3, 2013
Nothing professionally at the moment. It's a research interest of mine at the moment.
startups interested in quality through provably correct design.
Hi, I'm Jason LeCount. I am a test automation guy who loves languages. My interest in Scala is around how to use Scala (with respect to its hybrid objective/functional nature) to make more provably correct software.