André Videla

André is a software developer passionate about type systems, formal verification and functional programming. So much so that he organises a meetup about software verification in his town.

Outside of work you’ll find him reading some papers or books if he’s not busy playing games.

Role: Software Engineer

Location: Neuchâtel, Switzerland
[] github
[] twitter