Dariusz Biernacki

Assistant Professor in the Institute of Computer Science at the University of Wroclaw
Member of the Working Group of Programming Languages at ICS UWr

Short Bio

Address and contact info

Institute of Computer Science
University of Wroclaw
ul. Joliot-Curie 15
50-383 Wroclaw
Poland 		Office: 327
E-mail: dabi (AT) ii (DOT) uni (DOT) wroc (DOT) pl
WWW: http://www.ii.uni.wroc.pl/~dabi
Phone: (+48) (0)71 375 78 32
Fax: (+48) (0)71 375 78 01
The eleventh commandment was "Thou Shalt Compute" or "Thou Shalt Not Compute" - I forget which.
-- Alan J. Perlis

Research

  • Research interests
    • Formal semantics of programming languages
    • Formalizing theory of programming languages in logical frameworks
    • Lambda calculi, abstract machines, and continuations
    • Curry-Howard isomorphism
    • Functional programming

  • List of publications

Teaching (in Polish)
Last modified: 29 January 2010