Automated Software Analysis Group

Dipl.-Inform. Aboubakr Achraf El Ghazi

  • Karlsruhe Institute of Technology (KIT)
    Institute for Theoretical Computer Science
    Am Fasanengarten 5
    Building 50.34
    76131 Karlsruhe, Germany

Research Interests

Formal Methods, Specification, Relational first-order Logics, (Relational) Reasoning, (Bounded) Verification.

Publications