W 2016 wybrany na prorektora UW.
Specjalizuje się w zagadnieniach z zakresu matematycznych podstaw informatyki, obejmujących metody opisywania, specyfikacji, weryfikowania i konstruowania systemów oprogramowania.
Członek m.in. Academia Europaea i innych organizacji międzynarodowych, zasiadał także w Centralnej Komisji do Spraw Stopni i Tytułów, był członkiem Komitetu Informatyki PAN.
Odznaczenia W 2013, za wybitne zasługi w pracy naukowo-badawczej i dydaktycznej w dziedzinie matematyki i informatyki, za osiągnięcia w promowaniu polskiej myśli naukowej na świecie, prezydent Bronisław Komorowski odznaczył go Krzyżem Oficerskim Orderu Odrodzenia Polski. W 2010 otrzymał Srebrny Krzyż Zasługi.
Przypisy
Kategoria:Absolwenci szkół średnich w Szczytnie Kategoria:Absolwenci Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Członkowie Academia Europaea Kategoria:Członkowie Centralnej Komisji do Spraw Stopni i Tytułów Kategoria:Członkowie Komitetu Informatyki PAN Kategoria:Ludzie urodzeni w Knyszynie Kategoria:Odznaczeni Krzyżem