Wieloletni pracownik branży informatycznej, dziś w Microsoft Research Cambridge. Zajmuje się zastosowaniami sztucznej inteligencji oraz budową infrastruktury w chmurze. Miłośnik języków formalnych, historii komputerów oraz krzewienia edukacji matematyczno­‑informatycznej. Absolwent Uniwersytetu Jagiellońskiego.