
Dr. rer. nat. Aboubakr Achraf El Ghazi
- Researcher
- Room: 364
- Phone: +49 721 608-44316
- Fax: +49 721 608-47343
- elghaziVfo5∂kit edu
Lehrstuhl
Prof. K. BöhmKarlsruher Institut für Technologie
Am Fasanengarten 5
76131 Karlsruhe
GERMANY
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).