Dr. Moritz Sinn

Angestellt, Softwarearchitekt, RBI Group IT GmbH

Vienna, Österreich

Fähigkeiten und Kenntnisse

Program Analysis
Formal Methods
Program Verification
C Development
C++ Development
Java Development
SAT/SMT
Assembly Language
PHP
Perl
SQL
Scheme

Werdegang

Berufserfahrung von Moritz Sinn

Ausbildung von Moritz Sinn

  • 5 Jahre und 7 Monate, Apr. 2011 - Okt. 2016

    Informatik

    Technische Universität Wien

    Formal Methods, Program Analysis, Program Verification

  • 2 Jahre und 6 Monate, Okt. 2008 - März 2011

    Informatik

    Technische Universität Darmstadt

    Theoretische Informatik, Mathematische Logik

  • 11 Monate, Sep. 2007 - Juli 2008

    Informatik

    Universidad Politécnica de Valencia

  • 3 Jahre und 10 Monate, Okt. 2003 - Juli 2007

    Informatik

    Technische Universität Darmstadt

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

  • Spanisch

    Fließend

  • Französisch

    Grundlagen

21 Mio. XING Mitglieder, von A bis Z