Dariusz Biernacki
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.
Spis treści
Ż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
- 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.]
- 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.]
- DariuszD. Biernacki DariuszD., Autoreferat [online], Centralna Komisja do Spraw Stopni i Tytułów [dostęp 12.03.2023 r.]
- a b c DariuszD. Biernacki DariuszD., Short Bio [online], ii.uni.wroc.pl [dostęp 25.03.2023 r.]
Pozostali ludzie w kategorii „Nauka i edukacja”:
- Marzena Górecka
- Iwona Hofman
- Andrzej Peciak
- Jan Riabinin
- Jakub Honigsman
- Jolanta Szołno-Koguc
- Zofia Lassota
- Gabriel Juda Lichtenfeld
- Andrzej Nowakowski (historyk)
- Jan Władysław Dawid
- Tomasz J. Kowalski
- Włodzimierz Zwolski
- Artur Blaim
- Paweł Sękowski
- Maria Poźniak-Niedzielska
- Bożenna Jaśkiewicz
- Leszek Moszyński
- Andrzej Kolasa
- Wincenty Pol
- Janina Kozłowska-Studnicka
Oceń: Dariusz Biernacki
Średnia ocena: 5,00Liczba ocen: 9
Dołącz do nas na Facebooku!
Odkrywaj, dyskutuj i dziel się tym, co najlepsze. Dołącz do naszej społeczności i bądź na bieżąco z lokalnymi wydarzeniami w Lublinie.