Home | english  | Impressum | Sitemap | KIT
El Ghazi

Dr. rer. nat. Aboubakr Achraf El Ghazi

Wissenschaftlicher Mitarbeiter
Raum: 364
Tel.: +49 721 608-44316
Fax: +49 721 608-47343
elghaziFgw5∂kit edu

Lehrstuhl
Prof. K. Böhm

Karlsruher 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).

Publications