Dariusz Biernacki's home page Home Publications Students Courses

Short Bio

Personal info

Born 1977, Lublin, Poland

Academic history

Dec 2018 - : Associate professor at the Institute of Computer Science, University of Wrocław, Poland
Oct 2007 - Nov 2017: Assistant professor at the Institute of Computer Science, University of Wrocław, Poland

Habilitation (with distinction) in Mathematical Sciences (Computer Science) obtained from the Department of Mathematics and Computer Science, University of Wrocław, April 2016
Thesis: Control Operators in Higher-Order Programming Languages: Type Structure and Program Equivalence
Sep 2006 - Aug 2007: Postdoc at INRIA Futurs (Team Démons), Orsay, France
Spring 2006: Teaching and research assistant in Computer Science at the Faculty of Mathematics, Physics and Computer Science, UMCS, Lublin
Sep 2002 - Aug 2005: PhD student at the BRICS PhD School, University of Aarhus, Denmark
including a semester stay in Spring 2004 at the School of Computer Science at Carnegie Mellon University, Pittsburgh, PA, hosted by prof. John C. Reynolds

PhD degree in Computer Science obtained from the Department of Computer Science (DAIMI), University of Aarhus, December 2005
(PhD diploma nostrificated in 2006 by the Faculty of Mathematics, Informatics, and Mechanics at Warsaw University, Poland)
Thesis: The Theory and Practice of Programming Languages with Delimited Continuations
Advisor: Olivier Danvy
Oct 2001 - Aug 2002: Teaching and research assistant in Computer Science at the Faculty of Mathematics, Physics and Computer Science, UMCS, Lublin
1996-2001: Master student in Mathematics and Computer Science, Maria Curie-Skłodowska University (UMCS) in Lublin, Poland

MSc degree (with distinction) in Mathematics and Computer Science obtained from UMCS, Lublin, July 2001
Thesis: Many-Valued Structures and Non-Monotonic Reasoning
Advisor: Jerzy Mycka

Publications

List of publications

Grants

  • NCN POLONEZ grant number 2016/23/P/ST6/02217, 2017-2019: Algebraic effects and continuations, PI: Maciej Piróg
  • NCN OPUS grant number 2014/15/B/ST6/00619, 2015-2018: Reasoning about programs in higher-order languages, PI: Witold Charatonik
  • MNiSW grant POLONIUM, 2015-16: Concurrency and control operators, in cooperation with Sergueï Lenglet (LORIA, Nancy) and Alan Schmitt (INRIA, Rennes)
  • NCN OPUS grant number 2011/03/B/ST6/00348, 2012-15: Structure and interpretation of programming languages via the "proofs-as-programs" correspondence, PI: Małgorzata Biernacka
  • MNiSW grant number N N206 357436, 2009-11: Semantics of programming languages and program transformations: derivations and certification in the Coq type theory, PI: Dariusz Biernacki

Supervised students

Teaching

Other activities

http://www.ii.uni.wroc.pl/~dabi