Welcome Daniel Gratzer 👋🏻😀 Daniel joins us as Tenure-Track a Assistant Professor, researching type theory, category theory, and programming languages to improve both mathematics and software development. Excited to see your contributions! 🔗 Read more ➡️ cs.au.dk/news-events/...