Wiktor Daszczuk

Z Wikipedii, wolnej encyklopedii
Wiktor Daszczuk
Data i miejsce urodzenia

13 kwietnia 1958
Olsztyn

doktor habilitowany nauk inżynieryjno-technicznych
Specjalność: oprogramowanie podstawowe, systemy operacyjne, systemy rozproszone, weryfikacja systemów
Alma Mater

Politechnika Warszawska

Doktorat

21 stycznia 2003 – informatyka
Wydział Elektroniki i Technik Informacyjnych Politechniki Warszawskiej

Habilitacja

5 maja 2020 – informatyka techniczna i telekomunikacja
Politechnika Warszawska

adiunkt
Uczelnia

Wydział Elektroniki i Technik Informacyjnych Politechniki Warszawskiej

Odznaczenia
Medal Komisji Edukacji Narodowej

Wiktor Bohdan Daszczuk (ur. 13 kwietnia 1958 w Olsztynie[1]) – polski informatyk, 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.

Życiorys[edytuj | edytuj kod]

Absolwent II Liceum Ogólnokształcącego im. Konstantego Ildefonsa Gałczyńskiego w Olsztynie w 1978. W 1982 ukończył studia magisterskie z informatyki na Wydziale Elektroniki Politechniki Warszawskiej[1]. Doktoryzował się w 2003, pisząc pracę pt. Weryfikacja własności temporalnych w systemach współbieżnych przygotowanej pod kierunkiem Janusza Sosnowskiego, natomiast habilitację z informatyki technicznej i telekomunikacji uzyskał 2020[2] na podstawie cyklu publikacji pt. Modelowanie, specyfikacja, weryfikacja i symulacja systemów rozproszonych[2][3]. Ponadto, w latach 2011-2012 ukończył studia podyplomowe z ochrony własności intelektualnej na Wydziale Prawa Uniwersytetu Warszawskiego[3].

Po ukończeniu studiów rozpoczął pracę w Przedsiębiorstwie Systemów Komputerowych MERA-SYSTEM, gdzie realizował projekty związane z systemami operacyjnymi i oprogramowaniem. Zajmował się również systemami baz danych[1][3]. Na Wydziale Elektroniki PW, w Instytucie Informatyki pracuje od 1990, w tym od 2003 na stanowisku adiunkta[3]. W swojej działalności naukowej skupił się na specyfikacji, modelowaniu i weryfikacji systemów współbieżnych i wieloagentowych[1]. Publikował prace w czasopismach, takich jak „IET Intelligent Transport Systems”, „Journal of Advanced Transportation”, „The Computer Journal”, „Theoretical and Applied Informatics” czy „Archives of Transport”[4].

W 2018 został odznaczony Medalem Komisji Edukacji Narodowej[5].

Przypisy[edytuj | edytuj kod]

  1. a b c d Wiktor Bohdan Daszczuk. [dostęp 2020-10-17].
  2. a b Dr hab. inż. Wiktor Bohdan Daszczuk, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2020-10-17].
  3. a b c d Wiktor Bohdan Daszczuk. Autoreferat. [dostęp 2020-10-17].
  4. Wiktor B. Daszczuk (publikacje i cytowania). scholar.google.pl. [dostęp 2020-10-17].
  5. dr hab. inż. Wiktor B. Daszczuk. [dostęp 2020-10-17].