Dariusz Biernacki's home page Home Publications Students Courses

Dariusz Biernacki

Assistant Professor in the Institute of Computer Science at the University of Wrocław
Member of the Group of Programming Languages
Short Bio

Address and contact info

Institute of Computer Science E-mail: dabi (AT) cs (DOT) uni (DOT) wroc (DOT) pl
University of Wroclaw Home page: http://www.ii.uni.wroc.pl/~dabi
ul. Joliot-Curie 15 Phone: (+48) 71 375 78 32
50-383 Wroclaw Fax: (+48) 71 375 78 01
Office: 327
I don't like spinach, and I'm glad I don't, because if I liked it I'd eat it, and I just hate it.
-- Clarence Darrow


Research interests:
  • Formal semantics of programming languages
  • Formalizing theory of programming languages in logical frameworks
  • Principles of functional programming
  • The Curry-Howard isomorphism
Present grants:
  • NCN 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 grant number 2011/03/B/ST6/00348, 2012-15: Structure and interpretation of programming languages via the "proofs-as-programs" correspondence
The eleventh commandment was "Thou Shalt Compute" or "Thou Shalt Not Compute" -- I forget which.
-- Alan J. Perlis


Last updated: 9 Oct 2015