Dr. Jens Bendisposto

Angestellt, Wissenschaftlicher Angestellter, Universität Düsseldorf

Düsseldorf, Deutschland

Fähigkeiten und Kenntnisse

Clojure / ClojureScript
Java
Formale Methoden
B Methode
abstrakte Interpretation
Prolog
statische Analyse
Software-Verifikation
Software-Engineering
Funktionale Programmierung
Software-Architecture
Compilerbau

Werdegang

Berufserfahrung von Jens Bendisposto

  • Bis heute 5 Jahre und 9 Monate, seit Sep. 2018

    Wissenschaftlicher Angestellter

    Heinrich Heine Universität

  • Bis heute 5 Jahre und 9 Monate, seit Sep. 2018

    Berater

    innoQ Deutschland GmbH
  • Bis heute 16 Jahre und 5 Monate, seit Jan. 2008

    Wissenschaftlicher Angestellter

    Universität Düsseldorf

Ausbildung von Jens Bendisposto

  • 7 Jahre und 1 Monat, Jan. 2008 - Jan. 2015

    Informatik

    Heinrich-Heine-Universität

    Software-Verifikation

  • 1 Jahr und 3 Monate, Okt. 2006 - Dez. 2007

    Informatik

    Universität Düsseldorf

    Schwerpunkte: Compilerbau, Formale Methoden, Modelchecking, Prolog

  • 2 Jahre und 1 Monat, Okt. 2004 - Okt. 2006

    Informatik

    Universität Düsseldorf

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

21 Mio. XING Mitglieder, von A bis Z