Dariusz Biernacki
| Data i miejsce urodzenia | |
|---|---|
| doktor habilitowany nauk matematycznych | |
| Doktorat | |
| Habilitacja | |
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.
Życiorys[edytuj | edytuj kod]
Studia 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 | edytuj kod]
- ↑ 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 | edytuj kod]
- Dr hab. Dariusz Piotr Biernacki, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2022-05-14].