Matthias Keil (M.Sc.)

Matthias Keil 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 programming languages, information security and program analysis.

Contact

Address Matthias Keil
Institute for Computer Science
University of Freiburg
Georges-Köhler-Allee, Building 079
D-79110 Freiburg i. Br.
Germany
Room 00-013, building 079
Email keilr@info...
Phone +49 (0)761 203 8060
Fax +49 (0)761 203 8052
Homepage http://matthias-keil.de/

Publications

Talks

Artifacts

Theses

  • Sicherheitsanalyse auf der Basis von Datenflusstheorie
    Master Thesis, University of Freiburg, 2011
     
  • Redundanzmechanismen für Storage-Area-Networks
    Bachelor Thesis, University of Freiburg, 2008
     

Committees

Teaching

Courses:

Co-organized Courses:

Other Teaching Activities:

  • Assisting supervision of the Bachelor Thesis of Dominique Laurencelle
    Title: Erweiterungen des Vertragssystems TreatJS
     
  • Assisting supervision of the Bachelor Thesis of Tarek Sheasha
    Title: PyDroid: A Python-Based Android Programming Framework