Dariusz Biernacki
Dariusz Biernacki (ur. 1977 w Lublinie[2]) – polski informatyk specjalizujący się w semantyce języków programowania wyższego rzędu z kontynuacjami , ich zastosowaniach w implementacji oraz wnioskowaniu o programach z efektami sterowania[3], profesor Uniwersytetu Wrocławskiego.
Data i miejsce urodzenia | |
---|---|
doktor habilitowany nauk matematycznych | |
Doktorat | |
Habilitacja | |
Życiorys
edytujStudia informatyczne ukończył na Uniwersytecie Marii Curie-Skłodowskiej w 2001 roku, gdzie przez następny rok pracował jako asystent na Wydziale Matematyki, Fizyki i Informatyki. Studia doktoranckie odbywał na Uniwersytecie w Aarhus pod opieką Oliviera Danvy’ego . Objęły one także semestralny pobyt u Johna C. Reynoldsa na Carnegie Mellon University[2]. W roku 2005 obronił rozprawę doktorską The theory and practice of programming languages with delimited continuations (Teoria i praktyka języków programowania z kontynuacjami organiczonymi), a w następnym rozpoczął roczny staż podoktorski w INRIA[2]. Następnie podjął pracę w Instytucie Informatyki Uniwersytetu Wrocławskiego na stanowisku adiunkta, a, po uzyskaniu habilitacji w 2016, w roku 2017 został profesorem nadzwyczajnym[4].
Przypisy
edytuj- ↑ Uchwała Nr 15/2016 Rady Wydziału Matematyki i Informatyki z dnia 19 kwietnia 2016 w sprawie nadania stopnia naukowego doktora habilitowanego. Centralna Komisja do Spraw Stopni i Tytułów. [dostęp 2023-07-10].
- ↑ a b c Dariusz Biernacki , Short Bio [online], ii.uni.wroc.pl [dostęp 2023-03-25] .
- ↑ Dariusz Biernacki , Autoreferat [online], Centralna Komisja do Spraw Stopni i Tytułów [dostęp 2023-03-12] .
- ↑ Uchwała Nr 129/2017 Senatu UWr z dnia 29 listopada 2017 w sprawie zatrudnienia na stanowisku profesora nadzwyczajnego Dariusza Biernackiego. bip.uni.wroc.pl. [dostęp 2023-04-01].
Bibliografia
edytuj- Dr hab. Dariusz Piotr Biernacki, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2022-05-14] .