Experienced software engineer in the field of embedded, real-time appliances for telecommunication networks, I have become interested in automatic software verification, executable specifications, linear logic, implicit complexity, and polynomial time computation. I follow the advances in light logics and related parts of type theory, and am dreaming of applying this knowledge to better the state of software development.
less...