Generate a tailored SOP for Dr. Jürgen Giesl. Improve your application with a focused, well-structured draft.
Jürgen Giesl is a Professor in the Faculty of Computer Science at RWTH Aachen University. His research interests focus on Program Analysis, Verification, Rewriting, and Automated Deduction. Over the years, Giesl has actively contributed to various conferences and workshops related to computer science and logic. He is a respected member of the community, serving on numerous committees and editorial boards, including the ACM Transactions on Computational Logic. Giesl has held various roles such as chair of the Herbrand Award Committee and has been involved in organizing international conferences in the field. His expertise lies in the intersection of logic, computer science, and formal methods, making significant contributions to the development of automated reasoning techniques and tools. Giesl has been engaged in both educational and research activities, mentoring students and collaborating on various projects within and outside academia.
RWTH Aachen University • Aachen, Germany
Teaching and researching in the field of computer science with a focus on program analysis and automated reasoning.
Includes Software Systems Engineering. GRE is mandatory for Non-EU/EEA applicants.