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 (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
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 (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 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 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
  • MNiSW grant number N N206 357436, 2009-11: Semantics of programming languages and program transformations: derivations and certification in the Coq type theory

Supervised students

Teaching

Other activities

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