Robert Jakob (M.Sc.)

    Robert Jakob I'm a Ph.D. student at the University of Freiburg, Institute for Computer Science, working in the group Progλang under the supervision of Prof. Dr. Peter Thiemann.

    My research interest includes static program analysis and modal logics with respect to verification of higher-order functional programs. Within this area, I develop static analyses for the Erlang programming language suitable in embedded environments.

    I am a scholar of the graduate school embedded microsystems, founded by the DFG.

    I'm an all day awesome and vim user and love functional programming.


    Robert Jakob
    Institute for Computer Science 
    University of Freiburg
    Georges-Köhler-Allee, building 079
    D-79110 Freiburg i. Br.
    Room 00-013, building 079
    Email jakobro@info...
    Phone +49 (0)761 203 8054
    Fax +49 (0)761 203 8052


    • Success Types by Predicate Abstraction, Master Thesis, University of Freiburg, 2011
    • A GPGPU-approach for Lattice-Boltzmann fluid simulation, Bachelor Thesis, University of Freiburg, 2008


    Courses I ta'd:

    Other teaching activities

    • Assisting supervision of the Bachelor Thesis of Sebastian Dufner, 2011, in German. Title: Aufzeichnen von Lese- und Schreibzugriffen in JavaScript-Programmen