Dariusz Biernacki's home page Home Publications Students Courses

Dariusz Biernacki

Associate Professor in the Institute of Computer Science at the University of Wrocław
Member of the Group of Programming Languages
Short Bio

Address and contact info

Instytut Informatyki E-mail: dabi (AT) cs (DOT) uni (DOT) wroc (DOT) pl
Uniwersytetu Wrocławskiego Home page: http://www.ii.uni.wroc.pl/~dabi
ul. Joliot-Curie 15 Phone: (+48) 71 375 78 15
50-383 Wrocław Fax: (+48) 71 375 78 01
Office: 242
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
  • The lambda calculus and functional programming
  • Interpreters and abstract machines
  • Continuations and control effects
  • The Curry-Howard isomorphism
  • Operational techniques for program equivalence
Publications
The eleventh commandment was "Thou Shalt Compute" or "Thou Shalt Not Compute" – I forget which.
– Alan J. Perlis

Teaching

Students
Courses
Last updated: 10 January 2023