The Chair of Theoretical Computer Science and Theorem Proving is proud to announce that Dr. Lydia Kondylidou has been awarded the title of Dr. rer. nat. from the Faculty of Mathematics, Informatics, and Statistics of the LMU for a thesis with the topic "Finding, Simplfying and Presenting Proofs Automatically." Congratulations! The thesis was reviewed by Prof. Jasmin Blanchette (LMU), Prof. Pascal Fontaine (U. Liège), and Prof. Armin Biere (U. Freiburg).