Software Engineer

Name: André Videla
Location: Glasgow, Scotland
Twitter: andre_videla
Github: andrevidela

André is a software engineer working on Typedefs and anything dependently-typed. In addition, he is a research student for the university of St.-Andrews, working on linear types for the Idris2 programming language.

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