معرفی
Tina Jung is a Lecturer at Saarland University's Department of Computer Science. Her research focuses on Program Analysis, Memory Safety, and compiler optimizations, particularly through projects like MemInstrument (memory-safe C code compilation) and PICO (Presburger arithmetic-based compiler optimizations). She has taught multiple programming courses, including Programming 2 and seminars on Memory Safety and Compilers for Machine Learning.
Her academic work includes contributions to compiler-based memory safety instrumentations and performance optimization techniques. She holds a B.Sc. in Computer Science from Saarland University (2015) and has been actively involved in teaching since 2011. Contact details include her office at Saarland Informatics Campus (Building E1 3, Room 403) and ORCID 0000-0001-8657-7190.
