Lehre

• Betreuung von Abschlussarbeiten (Bachelor und Master)
• Betreuung von Vorlesungen und Übungen
• Betreuung von Seminaren

Forschungsschwerpunkte

• Forschungen im Bereich Boolean Quantifier Elimination