UWAGA! Dołącz do nowej grupy Lublin - Ogłoszenia | Sprzedam | Kupię | Zamienię | Praca

Dariusz Biernacki

Nauka i edukacja

Dariusz Biernacki, urodzony w 1977 roku w Lublinie, jest uznawanym polskim informatykiem, którego praca koncentruje się na semantyce języków programowania wyższego rzędu, a także zagadnieniach związanych z kontynuacjami. Specjalizuje się w badaniu ich zastosowań w implementacji oraz analizie programów, szczególnie w kontekście wnioskowania o programach z efektami sterowania.

Obecnie jest profesorem Uniwersytetu Wrocławskiego, gdzie prowadzi badania oraz zajęcia związane z powyższymi obszarami. Jego prace przyczyniają się do lepszego zrozumienia złożoności języków programowania i ich zastosowań w praktyce.

Życiorys

Dariusz Biernacki rozpoczął swoją edukacyjną ścieżkę dotycząca informatyki na Uniwersytecie Marii Curie-Skłodowskiej, gdzie ukończył studia w 2001 roku. Po zakończeniu nauki pozostał na uczelni, pracując przez kolejny rok jako asystent w Wydziale Matematyki, Fizyki i Informatyki.

Jego dalsza edukacja obejmowała studia doktoranckie na Uniwersytecie w Aarhus, gdzie pod okiem Oliviera Danvy’ego, a także odbył semestralny pobyt u znanego specjalisty Johna C. Reynoldsa w Carnegie Mellon University. W 2005 roku Dariusz obronił swoją rozprawę doktorską, zatytułowaną The theory and practice of programming languages with delimited continuations (Teoria i praktyka języków programowania z kontynuacjami organiczonymi). Kolejnym krokiem w jego karierze naukowej był roczny staż podoktorski w INRIA.

Po tym etapie, zaczął pracować w Instytucie Informatyki Uniwersytetu Wrocławskiego na stanowisku adiunkta. W 2016 roku uzyskał habilitację, co pozwoliło mu na awans. Rok później, w 2017, Dariusz Biernacki został profesorem nadzwyczajnym, kontynuując swoją pracę naukową i dydaktyczną w tej instytucji.

Przypisy

  1. Uchwała Nr 129/2017 Senatu UWr z dnia 29.11.2017 r. w sprawie zatrudnienia na stanowisku profesora nadzwyczajnego Dariusza Biernackiego. bip.uni.wroc.pl. [dostęp 01.04.2023 r.]
  2. Uchwała Nr 15/2016 Rady Wydziału Matematyki i Informatyki z dnia 19.04.2016 r. w sprawie nadania stopnia naukowego doktora habilitowanego. Centralna Komisja do Spraw Stopni i Tytułów. [dostęp 10.07.2023 r.]
  3. DariuszD. Biernacki DariuszD., Autoreferat [online], Centralna Komisja do Spraw Stopni i Tytułów [dostęp 12.03.2023 r.]
  4. a b c DariuszD. Biernacki DariuszD., Short Bio [online], ii.uni.wroc.pl [dostęp 25.03.2023 r.]

Oceń: Dariusz Biernacki

★★★★★
Średnia ocena:5 Liczba ocen:9