Wiktor Bohdan Daszczuk
Biografia
Wiktor Bohdan Daszczuk (ur. 13 kwietnia 1958 w Olsztynie) – polski informatyk i doktor habilitowany, specjalizujący się w oprogramowaniu podstawowym, systemach operacyjnych, systemach rozproszonych oraz weryfikacji systemów. Adiunkt na Wydziale Elektroniki i Technik Informacyjnych Politechniki Warszawskiej.
Ukończył II Liceum Ogólnokształcące im. Konstantego Ildefonsa Gałczyńskiego w Olsztynie (1978). W 1982 roku uzyskał magisterium z informatyki na Wydziale Elektroniki PW. Doktorat uzyskał w 2003 r. (praca pod kierunkiem Janusza Sosnowskiego, pt. Weryfikacja własności temporalnych w systemach współbieżnych); habilitacja z informatyki technicznej i telekomunikacji uzyskana w 2020 na podstawie cyklu publikacji pt. Modelowanie, specyfikacja, weryfikacja i symulacja systemów rozproszonych. W latach 2011–2012 ukończył studia podyplomowe z ochrony własności intelektualnej na Wydziale Prawa UW.
Po ukończeniu studiów pracował w Przedsiębiorstwie Systemów Komputerowych MERA-SYSTEM, realizując projekty związane z systemami operacyjnymi i oprogramowaniem, a także z bazami danych. Na Wydziale Elektroniki PW w Instytucie Informatyki pracuje od 1990 r., w tym od 2003 r. na stanowisku adiunkta. W badaniach koncentruje się na specyfikacji, modelowaniu i weryfikacji systemów współbieżnych i wieloagentowych. Publikował w czasopismach takich jak IET Intelligent Transport Systems, Journal of Advanced Transportation, The Computer Journal, Theoretical and Applied Informatics i Archives of Transport.
W 2018 roku został odznaczony Medalem Komisji Edukacji Narodowej.