Tina Jung BSc

Contact

Tel_+49 681 302-57521
Fax_+49 681 302-3065
Mail_
Room_431
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany

Curriculum Vitae

Research Interests

  • Program Analysis
  • C Memory Safety
  • Polyhedral Model

Teaching

Lecturer Assistant

Summer Term 2017

  • Lecture: Programming 2

Teaching Assistant

Summer Term 2014

  • Lecture: Programming 2
  • Lecture: Programming for Engineers

Winter Term 2013/14

  • Lab: Software Design Lab

Winter Term 2012/13

  • Lecture: Programming 1

Summer Term 2012

  • Course: Mathematical preparation course for freshman

Winter Term 2011/12

  • Lecture: Programming 1 Re-Exam preparation

Publications

BSc Thesis

  • A Hybrid Approach for Parametric Memory Dependence Analysis
    Jung, T.
    B.Sc. Thesis, Saarland University, 2015. [pdf] [bib]