Robert Jakob (M.Sc.)
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.
Contact
Address | Robert Jakob Institute for Computer Science University of Freiburg Georges-Köhler-Allee, building 079 D-79110 Freiburg i. Br. Germany |
Room | 00-013, building 079 |
jakobro@info... | |
Phone | +49 (0)761 203 8054 |
Fax | +49 (0)761 203 8052 |
Theses
- 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
Teaching
Courses I ta'd:
- Modelierung und Tests in der Softwareentwicklung, SS2014 (Studiengang IEMS)
- Cyber-Physical Systems - Discrete Models, WS2013
- Programmieren in Java, SS2013
- Softwareentwicklungsmethoden, SS2013 (Studiengang IEMS)
- Graphentheorie, WS2012
- Essentials of Programming Languages, SS2012
- Android Development - LectureApp, Praktikum, SS2012
- Softwareentwicklungsmethoden, SS2011 (Studiengang IEMS)
- Proseminar: Programmiersprachen, die jeder kennen sollte, SS 2011
Other teaching activities
- Assisting supervision of the Bachelor Thesis of Sebastian Dufner, 2011, in German. Title: Aufzeichnen von Lese- und Schreibzugriffen in JavaScript-Programmen