André

Software Engineer

Name: André Videla
Location: Neuchâtel, Switzerland
Twitter: andre_videla
Github: andrevidela

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.