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 centre around constructing logical systems with strong proof-theoretic properties.

Keywords
{intuitionistic, linear, modal, hybrid} logic
formal methods, logical frameworks, concurrency, programming language theory

Publications

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]

Teaching

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.

Contact