Dr. Paolo Herms

Angestellt, Software Engineer, G-Research

London, Vereinigtes Königreich

Fähigkeiten und Kenntnisse

Software development experiences
Coq
OCaml
.NET
F#
C#
JAVA

Werdegang

Berufserfahrung von Paolo Herms

  • Bis heute 11 Jahre und 3 Monate, seit Apr. 2013

    Software Engineer

    G-Research

  • 3 Jahre und 3 Monate, Okt. 2009 - Dez. 2012

    Doctorial Researcher

    CEA

  • 5 Monate, März 2009 - Juli 2009

    Research internship (MA graduation)

    INRIA

  • 4 Monate, Feb. 2007 - Mai 2007

    Engineering internship (BA graduation)

    LexiFi, Boulogne-Billancourt (France)

  • 2 Monate, Juni 2006 - Juli 2006

    Work experience internship

    Encoway, Bremen (Germany)

Ausbildung von Paolo Herms

  • 3 Jahre, Okt. 2009 - Sep. 2012

    Computer Science

    Université Paris-Sud 11

  • 10 Monate, Sep. 2006 - Juni 2007

    Computer Science

    Université Paris 6

  • 4 Jahre und 11 Monate, Sep. 2004 - Juli 2009

    Computer Science

    Università di Pisa (Italy)

    Functional programming languages, Semantics, Type Systems, Verification

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

  • Französisch

    Fließend

  • Italienisch

    Muttersprache

Interessen

Programming languages
Functional programming
Artificial Intelligence
Compiler
Core development
Verification
Proofs

21 Mio. XING Mitglieder, von A bis Z