I am a software manager for complex embedded controller software product lines with a large automotive supplier.
In an earlier life was a researcher at the DFKI, working on tool support and methodologies for formal methods. The primary goal of my research work was to make formal axiomatic specification and deductive verification feasible in the context of evolutionary software development processes. My publications are available from my publications page. Slides for some of my talks are available on request; just send me an email.
There are some books that I find outstanding for some reason and would like to recommend.