Home | Legals | Data Protection | Sitemap | KIT

Dipl.-Inform. Aboubakr Achraf El Ghazi

Researcher / PhD
office hours: Please make an appointment via email.
room: 228
phone: +49 721 608 45648
fax: +49 721 608 43088
elghaziBei1∂ira uka de

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