Dariusz Biernacki's home page Home Publications Students Courses

Dariusz Biernacki

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

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
Poland
Office: 327
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
Publications
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

Teaching

Students
Courses
Last updated: 10 Feb 2012