Timo Kehrer

Aprende a aplicar prácticas de ahorro de energía en el desarrollo web.

Explorando los desafíos de mantenimiento de GitHub Actions en el desarrollo de software.

Descubre cómo los métodos formales mejoran la fiabilidad del software y ayudan a detectar errores a tiempo.