Dariusz Biernacki

PhD in Computer Science

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

Address

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

Research

  • Research interests
    • Formal semantics of programming languages
    • Formalizing theory of programming languages in logical frameworks
    • Abstract machines, continuations and control operators
    • Type and effect systems
    • Curry-Howard isomorphism

  • List of publications
The eleventh commandment was "Thou Shalt Compute" or "Thou Shalt Not Compute" - I forget which.
-- Alan J. Perlis

Teaching (in Polish)
Last modified: 22 September 2009