Autor lub współautor ponad 70 prac naukowych z algorytmiki oraz akademickiego podręcznika z algorytmów i struktur danych. Od ponad 30 lat związany z Olimpiadą Informatyczną, od 1999 roku jako Przewodniczący Komitetu Głównego, przyczyniając się do sukcesów polskich informatyków na arenie międzynarodowej. Opiekuje się reprezentacjami Uniwersytetu Warszawskiego w Akademickich Mistrzostwach Świata w Programowaniu Zespołowym, a jego podopieczni dwukrotnie zdobyli mistrzostwo świata. Pełnił funkcje dyrektora Instytutu Informatyki UW (2005–2016) oraz przewodniczącego Polskiej Komisji Akredytacyjnej (2016–2021).