< No content

Benedikt Becker

Hello, I do computer science research and programming in different domains:

  • My résumé
  • PhD: Vaccine Semantics – Automatic methods for recognizing, representing, and reasoning about vaccine-related information
  • Software
    • CoLiS language: Target language for the verification of Shell scripts by symbolic execution
    • VaccO: An ontology of vaccine descriptions with an application to code alignment
    • CodeMapper: Semi-automatic coding of of medical case definitions
    • Brighton ABC tool: Automatic classification of vaccine adverse events
    • EasyOCaml: More descriptive error messages for OCaml by constraint-based type checking
    • see also https://github.com/benozol
  • Talks
    • Gallium seminar: Ghost code in action: Automated verification of a symbolic interpreter using Why3 (May 2019, Slides)
    • PhD defense: Vaccine semantics – Automatic methods for recognizing, representing, and % reasoning about vaccine-related information (January 2019, Slides)

Last update: 2019-05-27