I am employed by  USRA/RIACS  (Research Institute for Advanced Computer Science) and conduct my research within the Robust Software Engineering group  at NASA Ames. My research interest is in the application of deductive techniques to raise the "intelligence" of software engineering tools and the confidence into their solutions. I am currently working in the AutoBayes-project on the automatic synthesis of statistical data analysis programs from Bayesian networks. Prior to joining Ames, I worked on the NORA/HAMMR-project, a deduction-based software component retrieval tool.

Publications

• Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software
• Correctness of Source-Level Safety Policies
• Synthesizing Certified Code
• AutoBayes: A System for Generating Data Analysis Programs from Statistical Models
• Deriving Statistical Algorithms Automatically: The EM Family and Beyond
• Automatic Derivation of the Multinomial PCA Algorithm
• Certification Support for Automatically Generated Programs

• ESCAR - CADE-20 Workshop on Empirically Successful Classical Automated Reasoning
• MaxEnt 25 - 25th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering
• ASE 2005 - 20th IEEE / ACM International Conference on Automated Software Engineering 2005
• SoftCeMent - ASE-Workshop on Software Certificate Management