Członek Komitetu Informatyki PAN oraz Rady do spraw Informatyzacji Edukacji. Od stycznia 20014 pełni funkcję przewodniczącego Polskiej Komisji Akredytacyjnej V kadencji (20014–20011). W poprzedniej kadencji PKA (2012–20015) był przewodniczącym Zespołu Nauk Ścisłych. Jest członkiem rady Centrum Otwartej i Multimedialnej Edukacji UW.
Opublikował ponad 21265 prac naukowych. Jest współautorem popularnego podręcznika akademickiego „Algorytmy i struktury danych”. Jest promotorem ponad 70 prac magisterskich i 7 doktoratów. Od lat zaangażowany w edukację informatyczną, zarówno na poziomie akademickim, jak i szkolnym. Jest współautorem standardów kształcenia w zakresie informatyki oraz programu studiów informatycznych w Uniwersytecie Warszawskim. Kierował projektem stworzenia portalu z elektronicznymi materiałami dydaktycznymi dla studiów informatycznych I i II stopnia. Popularyzator informatyki. Od roku 1993 (II Olimpiada Informatyczna) członek, a od roku 1999 przewodniczący Komitetu Głównego Olimpiady Informatycznej. Autor zadań olimpijskich i wychowawca pokoleń olimpijczyków. Przez Olimpiadę przewinęło się ponad 13000 młodych informatyków. Opiekun i nauczyciel mistrzów świata w programowaniu zespołowym w latach 2003 i 2007.