Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Dariusz Biernacki's Home Page
[go: Go Back, main page]

Dariusz Biernacki

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

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) cs (DOT) uni (DOT) wroc (DOT) pl
Home page: http://www.ii.uni.wroc.pl/~dabi
Phone: (+48) 71 375 78 32
Fax: (+48) 71 375 78 01
The eleventh commandment was "Thou Shalt Compute" or "Thou Shalt Not Compute" -- I forget which.
-- Alan J. Perlis



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

  • 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: 5 July 2011