Sophia dabbles in watercolouring and windsurfing; her ambition for this summer is not to be outrun by her eldest grandson.

Love knitting and long-distance running. You can join her doing both. Also own a tortoise & stick insects but you won't see them.

Thinks that Belgian Chocolate is the best, even when faced with incontrovertible evidence to the contrary.

Loves to be scared to death when climbing one of the countless cliffs and mountains nearby his house.

Harvests walnuts in his garden, from 30m tall trees, right in the middle of a city.

Maintained Modula3 until the bitter end.

Known for his appearances as Lambdaman and his standup comedy about computability theory.

Moved to Zurich in 2018 for the chocolate.

Loves the Alps and Frank Zappa.

Aside from compilers and all of that monkey business, he is an avid musician with three albums as a composer.

His first Law of Software is: Good projects produce software. Bad projects produce methodologies.

Partly, and unapologetically, responsible for "Structure and Interpretation of Computer Programs: JavaScript Edition".

A long time happy user of Coq and Abstract interpretation.