About

My name is Gideon Smeding, and this is my personal website. I am a recently graduated computer scientist and an enthusiastic amateur saxophonist. Born and educated in the Netherlands, I now reside in Grenoble with my wife.

Currently I am employed at INRIA as a member of the VASY team. Among many other things we develop tools and a compiler for LOTOS, which I’m working on.