Universität Tübingen Fakultüt > Wilhelm-Schickard-Institut > Programmiersprachen und Übersetzer > Mitarbeiter > Julia Trieflinger
Arbeitsbereich Programmiersprachen und Übersetzer

Julia Trieflinger

Address

Arbeitsbereich für Programmiersprachen und Übersetzter
Wilhelm-Schickard Institut für Informatik
Sand 13, D-72076 Tübingen, Deutschland

Contact Information

Email:trieflin
New Group:Programmiersprachen und Softwaretechnik
Phone:+49-7071-29-75945
Room:B214
Office hours:by appointment


Research Interests | Publications | Education

Research Interests

  • Software Verification
  • Software Architecture/Software Design
  • Software Engineering

Publications

  • Holger Gast and Julia Trieflinger
    High-level proofs about low-level programs
    In Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVoCS'09).
  • Tillmann Rendel and Julia Trieflinger and Klaus Ostermann
    Automatic Refunctionalization to a Language with Copattern Matching: With Applications to the Expression Problem
    (ICFS 2015) to appear.

Teaching

  • Industrieprojekt in Zusammenarbeit mit Bosch SS15
  • Software Engineering (Organisation) SS15
  • Informatik I (Organisation) WS1415
  • Software Engineering (Organisation) SS14
  • Vorkurs SE: OOP + Java (Vorlesung + Übung) SS13
  • Compilerbau (Übung) WS1213
  • Software Engineering (Organisation) SS12
  • Compilerbau (Übung) WS1112
  • Software Engineering (Organisation) SS11
  • Informatik I (Übung) WS1011
  • Compilerbau (Übung) WS0910
  • Projekt zum Compilerbau (Seminar) WS0910
  • Informatik II (Mitorganisation Übung) SS09
  • Software Engineering (Organisation) SS09
Supervised theses (Bachelor)
  • Course-Information-System 3 (JSF, JPA)
  • Eclipse-Plugin für das CIS zur Vereinfachung der Aufgabenkorrektur (Eclipse-Plugin, Webservices)

Weiterbildung & Engagement

  • Hochschuldidaktik (Baden-Württemberg-Zertifikat)
  • Doktorandenkolloquium (Mitgründer und -organisator, 2011-2013)
  • Mitglied im Fakultätsfachbereichsbeirat (2011-2013), Vertreterin der Gleichstellungsbeauftragen im Berufungsverfahren "Eingebettete Systeme"
  • Bogy, Schnupperstudium

Education

Impressum minicms