I am a software engineer passionate about typed functional programming, correctness, quality and automation. I enjoy building software full-stack and being in a team that shares the same values and works towards a common goal.