Andrzej Filinski
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
ORCID: 0000-0002-9174-1861
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