Dabbles in watercolouring and windsurfing; her ambition is not to be outrun by her eldest grandson. Still loves her Pony

Loves knitting and long-distance running. Join her doing both. Also owns 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 scaring himself to death climbing the countless nearby cliffs and mountains.

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.