If you are interested in writing a thesis on the topic of software production lines, programming languages and compilers, formal methods, program verification, software quality or your own topic from the subject area of software engineering and automotive informatics, please contact Dr.-Ing. habil. Sandro Schulze.