Timo Kehrer

Lern, wie du energiesparende Praktiken in der Webentwicklung anwenden kannst.

Die laufenden Wartungsprobleme von GitHub Actions in der Softwareentwicklung erkunden.

Finde raus, wie formale Methoden die Zuverlässigkeit von Software verbessern und dabei helfen, Bugs frühzeitig zu entdecken.