-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
98 lines (89 loc) · 4.6 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8" />
<link rel="stylesheet" type="text/css" href="style.css" />
<title>Agata Murawska</title>
</head>
<body>
<div id="header">
<h1>Agata Murawska</h1>
</div>
<div id="photo">
<!-- <img title="I totally look like this, every day" src="picture.jpg" height="300"/> -->
<img src="cropped_itu.JPG" height="300"/>
</div>
<div id="main">
<p>I am currently an industrial postdoc at <a href="https://di.ku.dk">University of Copenhagen, Department of Computer Science</a> and <a href="https://www.deondigital.com/">Deon Digital</a>, working with <a href="http://hjemmesider.diku.dk/~henglein/">Fritz Henglein</a> on formal methods for formal contracts.
<p>Previously, I was a postdoc at <a href="http://en.itu.dk">IT University of
Copenhagen</a>, working with <a href="http://www.itu.dk/~maca">Marco Carbone</a>
and <a href="http://www.itu.dk/~carsten">Carsten Schürmann</a>. My focus there was on modular choreographic programming and its relation to linear logic.</p>
<p>
Before that, I was a Ph.D. student at ITU, under the supervision of <a href="http://www.itu.dk/~carsten">Carsten Schürmann</a>. I was working in the <a href="http://www.demtech.dk">DemTech</a>
project, focusing on linear logic and its applications. My PhD dissertation, titled "Modern Logical Frameworks Design", can be found <a href="final_thesis.pdf">here</a>.
</p>
<p> Between February and July 2015 I was a visitor at
the <a href="http://cs.mcgill.ca/~complogic/">Computation and Logic Group</a>
of McGill University in Montreal, QC, Canada,
visiting <a href="http://www.cs.mcgill.ca/~bpientka/">Brigitte Pientka</a>.
</p>
<p>Prior to my studies in Copenhagen, I was a Computer Science major at
University of Wrocław, where I was supervised
by <a href="http://www.ii.uni.wroc.pl/~mabi/">Małgorzata Biernacka</a>. My
Master's thesis "Intuitionistic Modal Logic IS5: Formalizations,
Interpretation, Analysis" can be
found <a href="http://www.itu.dk/people/agmu/pub/MSc_AgMu.pdf">here</a> and
the accompanying Coq code
is <a href="https://github.com/Ayertienna/IS5/tree/master/src">here</a>.
</p>
<h2>Research interests</h2>
<p>
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.
</p>
<p>
<b>Keywords</b><br/>
{intuitionistic, linear, modal, hybrid} logic</br>
domain-specific languages, smart contract verification, static analysis</br>
formal methods, logical frameworks, concurrency, programming language theory
</p>
<h2>Publications</h2>
<p>
Fritz Henglein, Christian Kjær Larsen and Agata Murawska.</br>
<b>A Formally Verified Static Analysis Framework for Compositional Contracts</b></br>
WTSC 2020 [<a href="wtsc20.pdf">pdf</a>, <a href="csl_formalization_wtsc20.zip">coq</a>]
</p>
<p>
Marco Carbone, Luis Cruz-Filipe, Fabrizio Montesi and Agata Murawska.<br/>
<b>Multiparty Classical Choreographies</b><br/>
LOPSTR 2018 [<a href="https://arxiv.org/pdf/1808.05088.pdf">pdf</a>]
</p>
<p>
Aina Linn Georges, Agata Murawska, Shawn Otis and Brigitte Pientka.<br/>
<b>Lincx: A Linear Logical Framework with First-class Contexts</b></br>
ESOP 2017 [<a href="http://www.itu.dk/people/agmu/pub/esop17_long.pdf">pdf</a>]
</p>
<p>
Peter Brottveit Bock, Alessandro Bruni, Agata Murawska and Carsten Schürmann.<br/>
<b>Representing Session Types</b></br>
Dale Miller’s Festschrift 2016 [<a href="http://www.itu.dk/people/agmu/pub/dalefest.pdf">pdf</a>]
</p>
<p>
Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska and Carsten Schürmann.<br/>
<b>Hybrid Extensions in a Logical Framework</b></br>
LFMTP 2014 [<a href="http://www.itu.dk/people/agmu/pub/hylf_full.pdf">revised pdf</a>]
</p>
<h2>Teaching</h2>
<p>
In Winter 2017/18 I was one of the lecturers for the Foundations of Computing - Discrete Mathematics course at Master level.
</p>
<p>
In Winter 2013/14 and Winter 2015/16 I was a PhD assistant for that course.
</p>
</div>
<h2>Contact</h2>
<ul>
<li>Online: agata AT di dot ku dot dk </li>
<li>Real world: Room 01-0-S07, University of Copenhagen, Universitetsparken 5, DK-2100 København Ø, Denmark </li>
</ul>
</div>