"Terar dum prosim" I work for Microsoft's Core Operating System Division in Redmond, WA developing tools, infrastructure, testing, and certification technologies for Windows device driver writers. My interests include software modeling, abtract service specification/domain specific languages, software code generation, optimization, validation, test, security, deployment, and visual programming systems. Links: