Dariusz Biernacki's home page Home Publications Students Courses

Short Bio

Personal info

Born 1977, Lublin, Poland

Academic history

2007- present: Assistant professor (adiunkt) at the Institute of Computer Science, University of Wrocław, Poland

Habilitation 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
2006-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
2002-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
2001-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 in Mathematics and Computer Science obtained from UMCS, Lublin, July 2001
Thesis: Many-Valued Structures and Non-Monotonic Reasoning
Advisor: Jerzy Mycka


List of publications


NCN OPUS grant number 2014/15/B/ST6/00619, 2015-2018: Reasoning about programs in higher-order languages
MNiSW grant POLONIUM, 2015-16: Concurrency and control operators, in cooperation with Sergueï Lenglet (LORIA, Nancy) and Alan Schmidt (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
MNiSW grant number N N206 357436, 2009-11: Semantics of programming languages and program transformations: derivations and certification in the Coq type theory


  • Students
  • Courses:
    • Foundations of object-oriented programming languages (seminar)
    • Advanced functional programming (seminar)
    • Software foundations in Coq (advanced course)
    • Semantics of programming languages (advanced course)
    • Types and programming languages (seminar)
    • Continuations and programming languages (advanced course)
    • Computation and deduction using Coq (advanced course)
    • Introduction to Twelf (advanced course)
    • Programming languages - new achievements and trends (seminar)
    • Programming (first-year course)
    • Type systems (advanced course)
    • Continuations: theory and applications (seminar)
    • Programming in type theory (seminar)
    • Implementation of functional languages (seminar)

Other activities