Prof. Dr. Gidon Ernst
Junior Professor, Software Verification
Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538
Munich
(Germany)
- Room
- Room F 007, Oettingenstr. 67
- Office Hours
- By appointment, via https://meet.lrz.de/gidon
- firstname.lastname@lmu.de
- Phone
- Please note that I no longer have an office phone
- ORCID
-
0000-0002-3289-5764
GPG-Key
Please send me encrypted mails!
My GPG key: 0x43E74A64
Fingerprint: 2936 1F81 7F7E 77FC 114F E87D 864B 9E41 43E7 4A64
Mentoring, Bachelor-/Master Theses (see also)
Further topics can be discussed on request.
Before contacting me with your own topic proposal please think about this first: What would be the scientific question leading your project? Does the topic fit well with the research and teaching area of Prof. Ernst?
See also: Merkblatt für externe Arbeiten des Prüfungsamtes.
Recommendation Letters/Empfehlungsschreiben
Recommendation letters are a common requirement for applications to top universities, notably in the US. If you consider asking me for such a letter, please make sure that I can offer concrete evidence of your qualifications that goes beyond your course grades. Just taking part in my lecture is not sufficient and the resulting letter would typically be too generic to actually be favorable for your application.
Examples for such evidence could be: you have worked as a Hiwi/Tutor within the SoSy-Lab or you did a thesis/project/seminar with us. Perhaps in some cases very good exercise solutions can count, too.