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 |
| Phone: | +49-7071-29-70500 |
| Room: | B219 |
| Office hours: | by appointment |
Research Interests | Publications | Education
Research Interests
- Software Verification
- Software Architecture
- Software Engineering
Teaching
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), to appear.
Education
- 02/2009: Diploma in Computer Science, Eberhardt Karls Universität, Tübingen
- 03/2004 - 06/2004: Exchange student at University of Western Australia, Perth, Australia
