Iris Ma

Erforschen, wie ChatGPT die Qualität von Commit-Nachrichten in der Softwareentwicklung verbessern kann.

Die Kombination von LLMs und formaler Verifikation, um die Programmiergenauigkeit und Effizienz zu verbessern.

AI-Tutoren unterstützen Schüler in Programmierkursen und verbessern ihr Lernen.