Dr. Aboubakr Achraf El Ghazi
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Aboubakr Achraf El Ghazi
- Bis heute 4 Jahre und 5 Monate, seit März 2021
Research Software Engineer
DLR - Deutsches Zentrum für Luft- und Raumfahrt
- 1 Jahr und 6 Monate, Sep. 2019 - Feb. 2021
Postdoctoral Researcher
KIT - Karlsruher Institut für Technologie
Secrecy & Privacy, DBaaS, Secrecy Guarantees, Secrecy Proofs
- 4 Jahre und 1 Monat, Sep. 2015 - Sep. 2019
Postdoctoral Researcher
KIT - Karlsruher Institut für Technologie
Mathematically provable secrecy (aka privacy), especially in the context of Database as a Service (DBaaS).
- 5 Jahre und 8 Monate, März 2010 - Okt. 2015
Researcher
KIT - Karlsruher Institut für Technologie
Formal specification and verification of software systems, with particular focus on relational logics (like Alloy) and relational reasoning using theorem provers (like SMT, SAT, and ATP). Given a software S and a property P (written in formal specification language like Alloy, JML, etc.) one can either prove that P always hold in S (i.e., P is valid in any execution of S) or generate a counterexample. My focus is to provide this service as automated as possible -- sometimes expert interaction is needed.
+ Kollaborationssysteme: BSCW, Sharepoint. + Semantikannotation: RDF, DC, etc. + Webontologien zur Beschreibung von Inhalten in + Kollaborationssystemen: FOAF und SIOC. + Intergrationsstrategien: LaV, GaV, etc. + Informaionssfindungsstrategien: Konzeption einer Navigationslogik. + Realisierung von Benutzerschnittstellen mit dem W3C Standart XForms. + Erweiterung von XForms um die XSLT-Ausdrucksmächtigkeit.
- 4 Jahre, Mai 2002 - Apr. 2006
Werkstudent
Steinbuch Centre for Computing (SCC)
Ausbildung von Aboubakr Achraf El Ghazi
- 7 Jahre und 8 Monate, Okt. 2001 - Mai 2009
Informatik
Universität Karlsruhe (TH)
Informationssysteme, Data-Mining, Datawarehousing , Workflow-Management-Systeme, formale Spezifikation und Verifikation von OO-Software, unscharfe Informationsverarbeitung, Performanzvorhersage für komponentenbasierte Software, Informationsintegration mittels semantischen Technologien
- 1 Jahr und 1 Monat, Okt. 1999 - Okt. 2000
Mathematik, Physik, Chemie
Universität Karslruhe (Studienkolleg)
- 10 Jahre und 7 Monate, Okt. 1998 - Apr. 2009
DSH
Universität Ilmenau (TU)
- 3 Jahre und 7 Monate, Jan. 1994 - Juli 1997
Mathematik
Moulay Idriss Gymnasium (in Casablanca)
Sprachen
Deutsch
Fließend
Englisch
Fließend
Französisch
Gut
Arabisch
Muttersprache
XING – Das Jobs-Netzwerk
Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
22 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.