Andrzej Filinski

Andrzej Filinski

Associate Professor

  • Programming Languages and Theory of Computing

    Universitetsparken 5, Bygning B, 2100 København Ø, HCØ B, Building: 772-01-0-S10

    Phone: +45 35 33 56 87Mobile: +45 29 61 16 43Fax: +45 35 32 14 01

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