El Ghazi

Dr. rer. nat. Aboubakr Achraf El Ghazi

  • Lehrstuhl
    Prof. K. Böhm

    Karlsruher Institut für Technologie
    Am Fasanengarten 5
    76131 Karlsruhe

Research Interests

  • Mathematically provable privacy protection, especially in the context of outsourced Databases (DB-as-Service).


  • Formal specification and verification of software systems, with particular focus on relational logics (like Alloy) and relational reasoning using theorem provers (like ATP, SAT and SMT).