	Dr. rer. nat. Aboubakr Achraf El Ghazi
	Researcher Room: 364 Phone: +49 721 608-44316 Fax: +49 721 608-47343 elghaziNsg3∂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

last change: 2016-02-04 KIT – The Research University in the Helmholtz Association