Sign up
Sign in
PyCharm Team Lead @JetBrains. Triathlon enthusiast
Machine learning researcher drowning in data but a decent swimmer too. Fighter for open science. OpenML Founder. Solving life's problems mixing data and wits.
Left Google (bigdata/ML) to work on climate for the rest of my career. In my free time, I crave weird art, play piano, and climb rocks.
Functional programmer, proof engineer, researcher in formal methods and verification, Computer Science lecturer at University College London.
Help
Status
About
Careers
Press
Blog
Store
Privacy
Rules
Terms
Text to speech