2025_01_shonan

This week I attended the Shonan Meeting 217 on Trusted Automatic Programming! It was a great place to be and meet colleagues and friends! I presented our ongoing work on developing AI-based assistance in debugging education. Check my slides!