Witold jest ekspertem w analizie zespolonej, geometrii algebraicznej, algebrze komputerowej oraz złożoności algorytmicznej. Ostatnio, jako Software Engineer w Corvil, pracował nad wydajnością na niskim poziomie rdzenia systemu, przyczyniając się do rozwoju frameworka do analizy big data, który można dostosować przez użytkownika na podstawie komponentów open-source oraz rozwiązania umożliwiającego monitorowanie ruchu sieciowego w środowiskach chmurowych. W latach 2007-2014 pracował na tym samym stanowisku w Google R&D Kraków w obszarze infrastruktury, odpowiedzialny za analizę i optymalizację wykorzystania zasobów klastra, systemu operacyjnego klastra Omega oraz optymalizację reklam opartą na uczeniu maszynowym. Przed przejściem do Google był adiunktem na Uniwersytecie Jagiellońskim.