Staff – University of Copenhagen

Forward this page to a friend Resize Print Bookmark and Share

Department of Computer Science DIKU > Staff

Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:

  • The APL Section

Current research

A generic operational semantics of monadic effects in functional languages; applications of game-theoretic notions for formalizing program contracts in concurrent and distrbuted settings.

Primary fields of research

Applied programming-language semantics, with particular emphasis on defining and reasoning about computational effects. Machine-verifiable reasoning about programs and languages, including formal code certification.

ID: 9314