Timo Kehrer

Learn how to apply energy-saving practices to web development.

Exploring the ongoing maintenance challenges of GitHub Actions in software development.

Discover how formal methods improve software reliability and help catch bugs early.