Project Members

• Nikolai Tillmann (main contact)
• Peli de Halleux
• Wolfram Schulte
• Nikolaj Bjørner

(Past) interns and visiting researchers:

• Suresh Thummalapenta
• Katia Nepomnyashchaya
• Kiran Lakhotia
• Soonho Kong
• Anne Clark
• Dries Vanoverberghe
• Saswat Anand
• Tao Xie
• Christoph Csallner
• Thorsten Schütt

Recruiting Opportunities

We are looking for exceptional PhD candidates to join us as interns, any time of the year, though summer is the typical time for internships. For more information, please visit our internship website. In addition to applying via the internship website, please contact Nikolai Tillmann with your application.

Associated Groups

• Foundations of Software Engineering
• Research in Software Engineering