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

PhD in Computer Science
Assistant Professor in the Institute of Computer Science at the University of Wroclaw

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
Last modified: 21 February 2009