I am currently an industrial postdoc at University of Copenhagen, Department of Computer Science and Deon Digital, working with Fritz Henglein on formal methods for formal contracts.

Previously, I was a postdoc at IT University of Copenhagen, working with Marco Carbone and Carsten Schürmann. My focus there was on modular choreographic programming and its relation to linear logic.

Before that, I was a Ph.D. student at ITU, under the supervision of Carsten Schürmann. I was working in the DemTech project, focusing on linear logic and its applications. My PhD dissertation, titled "Modern Logical Frameworks Design", can be found here.

Between February and July 2015 I was a visitor at the Computation and Logic Group of McGill University in Montreal, QC, Canada, visiting Brigitte Pientka.

Prior to my studies in Copenhagen, I was a Computer Science major at University of Wrocław, where I was supervised by Małgorzata Biernacka. My Master's thesis "Intuitionistic Modal Logic IS5: Formalizations, Interpretation, Analysis" can be found here and the accompanying Coq code is here.

Research interests

My research interests as a PhD student centred around constructing logical systems with strong proof-theoretic properties. Currently, I am shifting more towards practical applications of programming language theory, in particular domain-specific languages and static analysis for smart contracts.

{intuitionistic, linear, modal, hybrid} logic
domain-specific languages, smart contract verification, static analysis
formal methods, logical frameworks, concurrency, programming language theory


Fritz Henglein, Christian Kjær Larsen and Agata Murawska.
A Formally Verified Static Analysis Framework for Compositional Contracts
WTSC 2020 [pdf, coq]

Marco Carbone, Luis Cruz-Filipe, Fabrizio Montesi and Agata Murawska.
Multiparty Classical Choreographies
LOPSTR 2018 [pdf]

Aina Linn Georges, Agata Murawska, Shawn Otis and Brigitte Pientka.
Lincx: A Linear Logical Framework with First-class Contexts
ESOP 2017 [pdf]

Peter Brottveit Bock, Alessandro Bruni, Agata Murawska and Carsten Schürmann.
Representing Session Types
Dale Miller’s Festschrift 2016 [pdf]

Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska and Carsten Schürmann.
Hybrid Extensions in a Logical Framework
LFMTP 2014 [revised pdf]


In Winter 2017/18 I was one of the lecturers for the Foundations of Computing - Discrete Mathematics course at Master level.

In Winter 2013/14 and Winter 2015/16 I was a PhD assistant for that course.