À propos
I am a Principal Software Development Engineer at Microsoft Research, Cambridge, in the Programming languages & software engineering group.
My background is in Theoretical Computer Science and Logic. I have got a Bachelor in Mathematics and a Master in Computer Science.
Before joining Microsoft in 2015, I worked as a contractor for various companies and later was involved in an F# to GPU compiler.