-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
executable file
·386 lines (372 loc) · 15.8 KB
/
index.html
File metadata and controls
executable file
·386 lines (372 loc) · 15.8 KB
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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
k<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=0.7">
<title>Malin Altenmüller</title>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bulma@0.9.4/css/bulma.min.css">
</head>
<body>
<section class="section is-size-5">
<div class="container">
<h3 class="title">Malin Altenmüller</h3><br>
<div class="columns">
<div class="column">
I'm a postdoc in
the <a href="https://homepages.inf.ed.ac.uk/cheunen/group.html"
target="_blank">Quantum Programming Group</a> within
the <a href="https://www.quantumsoftwarelab.com/"
target="_blank">Quantum Software Lab</a> at the University of
Edinburgh, working on programming languages for quantum systems.
<br><br> Before that I was a PhD student in
the <a href="https://msp.cis.strath.ac.uk/"
target="_blank">Mathematically Structured Programming Group</a> at
the University of Strathclyde in Glasgow. My thesis discusses
combinatorial representations of string diagrams for non-symmetric
monoidal categories, and can be found <a href="thesis/thesis.pdf"
target="_blank">[here]</a>.
<br><br> During some of my PhD I was a research intern with
the <a href="https://blogs.ed.ac.uk/he-lab/"
target="_blank">Programming Languages Group</a> at Huawei in
Edinburgh.
<br><br>
</div>
<div class="column is-one-fifth">
<img src="MA01.JPG" alt="a photo of Malin">
</div>
</div>
<div class="columns">
<div class="column">
I'm interested in graphical languages, combinatorial graph theory,
programming language theory, type theory, applied category theory,
and quantum programming languages.
<br><br>
Do get in touch if you're interested in any of these topics! <br>
malin [dot] altenmuller [at] ed [dot] ac [dot] uk
<br><br>
My pronouns are <a href="https://pronouns.org/she-her"
target="_blank">she/her</a>.
</div>
<div class="column is-one-half">
<img src="group.jpg" alt="a photo of the quantum programming group
in Edinburgh">
</div>
</div>
</div>
</section>
<section class="section is-size-5">
<div class="container">
<h3 class="title">News</h3>
<dl>
<li> I am one of the organisers of the <b>Quantum Informatics CDT
Spring School 2026</b> on the Isle of Skye, 24-29 May. <br> All
details are on the
<a href="https://www.quantuminformatics-cdt.ac.uk/spring-school/"
target="_blank">website</a>.
</li>
</dl>
</div>
</section>
<section class="section is-size-5">
<div class="container">
<h3 class="title"> Papers </h3>
<dl>
<li>
<b>A Data Type of Intrinsically Plane Graphs in Agda</b> (MA,
C. McBride)<br> to appear at
the<a href="https://msp.cis.strath.ac.uk/types2025/index.html"
target="_blank">TYPES 2025</a> postproceedings<br>
<i>This paper develops a type-theoretic formalisation of a
combinatorial presentation for plane graphs which serve as a
representation for a specific class of string diagrams for
monoidal categories. We present an Agda development of plane
graphs as inductive structures by separating their spanning tree
and show that that the treatment of non-spanning tree edges alone
is enough information to characterise the plane embedding of a
graph.</i>
</li>
<li>
<b>Combinatorial Presentations of String Diagrams for Non-Symmetric
Monoidal Categories (PhD Thesis)</b> <br>
Document available <a href="thesis/thesis.pdf"
target="_blank">[here]</a><br>
<!--
<i>
String diagrams are a well established graphical syntax for
morphisms in monoidal categories. Reasoning with arrows in a
category can be implemented as an instance of diagrammatic
reasoning in its graphical language. This thesis presents
work on string diagrams for monoidal categories that do not
necessarily contain a symmetry map, that is, a SWAP operation
of two wires across each other. While abstract graphs provide
a suitable combinatorial structure for string diagrams of
symmetric monoidal categories, they are not sufficient in our
case and we will extend the framework to surface-embedded
graphs to be able to capture the absence of symmetry in a
category and the corresponding topological properties of its
string diagrams. We develop the necessary categorical
structure of surface-embedded graphs to implement their
rewriting as an instance of double-pushout rewriting. Further,
we implement the particular case of graphs embedded in the
plane in the dependently typed programming language Agda. We
develop a suitable, inductive, and finite representation of
plane graphs in the setup of Agda’s dependent type theory. We
show how splitting a graph into a substructure of interest and
its context, which is a crucial operation for a rewriting
step, can be implemented, and establish a context comonad
structure not just for plane graphs but for a much larger
class of tree-like data types.
</i>
-->
</li>
<li>
<b>A Category of Surface-Embedded Graphs</b> (MA, R. Duncan)<br>
at <a href="https://msp.cis.strath.ac.uk/act2022/"
target="_blank">Applied Category Theory 2022</a>, document available
on
<a href="https://arxiv.org/abs/2210.08914"
target="_blank">[arXiv]</a><br>
<i>We introduce a categorical formalism for rewriting
surface-embedded graphs. Such graphs can represent string diagrams
in a non-symmetric setting where we guarantee that the wires do
not intersect each other. The main technical novelty is a new
formulation of double pushout rewriting on graphs which explicitly
records the boundary of the rewrite. Using this boundary structure
we can augment these graphs with a rotation system, allowing the
surface topology to be incorporated.</i>
</li>
</dl>
</div>
</section>
<section class="section is-size-5">
<div class="container">
<h3 class="title"> Abstracts </h3>
<dl>
<li>
<b>Strictness by Rewrite: Formalising Bipermutative Categories and
Quantum Program Semantics in Agda</b><br>
poster at
<a href="https://popl26.sigplan.org/home/planqc-2026"
target="_blank">PLanQC</a>, 12/01/2026,
<a href="papers/planqc-2026.pdf" target="_blank">[abstract]</a>,
<a href="posters/poster-planqc-2026.pdf"
target="_blank">[poster]</a>, link to the
<a href="https://github.com/maltenmuller/rewriting-rig"
target="_blank">github repository</a>
</li>
<li>
<b>Read the <s>Mood</s> Mode and Stay Positve - adding polarity
annotations in Agda</b><br> joint work
with J. Ceulemans, L. Escot, A. Nuyts, J. Poiret<br>
at <a href="https://types2023.webs.upv.es/"
target="_blank">TYPES</a> in València,
12/06/2023, <a href="papers/types-2023.pdf"
target="_blank">[abstract]</a>
</li>
<li>
<b>A Category of Plane Graphs</b><br> at
<a href="https://www.cl.cam.ac.uk/events/syco/9/"
target="_blank">SYCO9</a> in Como,
09/09/2022, <a href="papers/syco9-abstract.pdf">[abstract]</a>
and <a href="slides/cat-plane-graphs.pdf"
target="_blank">[slides]</a>, this talk was voted the <i>Best
Student Presentation</i> of the event
</li> <!--★-->
<li>
<b>A Datatype of Planar Graphs</b><br>
at <a href="https://types22.inria.fr/" target="_blank">TYPES</a> in
Nantes, 23/06/2022, <a href="papers/types-2022.pdf"
target="_blank">[abstract]</a>
and <a href="slides/type-plane-graphs.pdf"
target="_blank">[slides]</a>
</li>
<li>
<b>TypOS: An Operating System for Typechecking Actors</b><br>
joint work with G. Allais, C. McBride,
G. Nakov, F. Nordvall Forsberg, C. Roy<br>
at at <a href="https://types22.inria.fr/"
target="_blank">TYPES</a> in Nantes,
23/06/2022, <a href="papers/TypOS.pdf" target="_blank">[abstract]</a>
and <a href="https://www.youtube.com/watch?v=2ZmoexvTw6c"
target="_blank">[talk recording]</a>
</li>
<li><b>Containers of Applications and Applications of
Containers</b><br>
at <a href="https://cas.oslo.no/types2019/"target="_blank">TYPES</a>
in Oslo, 13/06/2019
</li>
</dl>
</div>
</section>
<section class="section is-size-5">
<div class="container">
<h3 class="title">Talks</h3>
<dl>
<li>
<b>Reasoning with strict symmetric monoidal categories in Agda</b><br>
at
the <a href="https://europroofnet.github.io/women-epn-2025/"
target="_blank">Women in EuroProofNet 2025</a> workshop, co-located
with
<a href="https://msp.cis.strath.ac.uk/types2025/"
target="_blank">TYPES 2025</a>,
10/06/2025, <a href="slides/strict-smcs-wepn.pdf"
target="_blank">[slides]</a>
</li>
<li><b>A Data Type of Intrinsically Plane Graphs</b><br>
at the British Colloqium for Theoretical
Computer
Science <a href="https://msp.cis.strath.ac.uk/bctcs2025/index.html"
target="_blank">BCTCS</a>, 14/04/2025,
<a href="slides/bctcs.pdf" target="_blank">[slides]</a>
</li>
<li><b>Notions of Monads and Comonads in Programming</b><br>
at
the <a href="https://www.maths.ed.ac.uk/~adona/seminar.html">Edinburgh
Category Theory Seminar</a>, 19/03/2025
</li>
<li><b>A Category of Graphs with Substitution and Pattern Matching</b><br>
invited talk at
<a href="https://sites.google.com/view/catniporg/meetings"
target="_blank">CATNIP</a>, 19/11/2024,
<a href="slides/catnip-plane-graphs.pdf"
target="_blank">[slides]</a>
</li>
<li><b>Plane Graphs, (Co-)Operads, and Pattern Matching</b><br>
at
<a href="https://msp.cis.strath.ac.uk/msp101.html"
target="_blank">MSP 101</a>, 26/01/2024,
<a href="https://www.youtube.com/watch?v=XG65L3PVexc"
target="_blank">[recording]</a>
</li>
<li><b>Contour Categories, Control Flow Analysis</b><br>
at the Huawei-Edinburgh Joint
Lab <a href="https://homepages.inf.ed.ac.uk/opb/jointlab/"
target="_blank">Workshop</a>, 12/12/2023,
<a href="slides/joint-lab-control-flow.pdf"
target="_blank">[slides]</a>
</li>
<li><b>A Category of Surface-Embedded Graphs</b><br>
invited talk at
the <a href="https://www.irif.fr/~greta/" target="_blank">GReTA</a>
Seminar Series, 08/09/2023,
<a href="slides/greta-seminar.pdf" target="_blank">[slides]</a>,
<a href="https://www.youtube.com/live/vKcW8OlBHLw?si=lRVrh3b4UXglVrgI"
target="_blank">[recording]</a>
</li>
<li><b>Control Flow as a Contour of Data Flow</b>
<ul>
<li> at a Workshop on Diagrammatic Methods
in Edinburgh, 24/01/2023, <a href="slides/control-flow.pdf"
target="_blank">[slides]</a></li>
<li> at
<a href="https://msp.cis.strath.ac.uk/msp101.html"
target="_blank">MSP 101</a>, 09/06/2023,
<a href="slides/msp101-control-flow.pdf"
target="_blank">[slides]</a></li>
</ul>
<li><b>A Category of Surface-Embedded Graphs</b><br>
at <a href="https://msp.cis.strath.ac.uk/act2022/"
target="_blank">ACT</a> in Glasgow,
21/07/2022, <a href="slides/cat-embedded-graphs.pdf">[slides]</a></li>
<li><b>Decorated Trees</b><br> at
<a href="https://spls-series.github.io/meetings/2021/october/"
target="_blank">SPLS</a> (online),
20/10/2021, <a href="slides/decorated-trees.pdf"
target="_blank">[slides]</a></li>
<li><b>Some Thoughts on a Datatype for Higher Genus Graphs</b> <br>
at
<a href="https://msp.cis.strath.ac.uk/msp101.html"
target="_blank">MSP 101</a>,
25/02/2021, <a href="slides/higher-genus-graphs.pdf"
target="_blank">[slides]</a></li>
<li><b>A Combinatorial Presentation of the Operad of Plane Graphs</b>
<ul>
<li> at
<a href="https://www.cl.cam.ac.uk/events/syco/strings3-syco5/"
target="_blank">STRINGS3</a> in Birmingham,
02/09/2019, <a href="slides/operad-plane-graphs.pdf"
target="_blank">[slides]</a></li>
<li> at <a href="https://msp.cis.strath.ac.uk/msp101.html"
target="_blank">MSP 101</a>, 30/08/2019</li>
</ul>
</li>
<li><b>Containers of Applications and Applications of
Containers</b><br>
at <a href="https://spls-series.github.io/meetings/archive/eb.host.cs.st-andrews.ac.uk/SPLS-Feb19/"
target="_blank">SPLS</a> in St Andrews, 13/03/2019
</li>
<li><b>Finitary Indexed
Containers</b><br> at <a href="https://msp.cis.strath.ac.uk/msp101.html"
target="_blank">MSP 101</a>, 15/02/2019
</li>
</dl>
</div>
</section>
<section class="section is-size-5">
<div class="container">
<h3 class="title"> Involvement </h3>
<dl>
<li> I am one of the organisers of the
<a href="https://www.quantuminformatics-cdt.ac.uk/spring-school/"
target="_blank">Quantum Informatics Spring School 2026</a> on the Isle
of Skye.
</li>
<li>
I am a member of
the <a href="https://sites.google.com/view/thetypesconferences"
target="_blank">TYPES</a> Steering Committee (term: 2025-2028).
</li>
<li> I was a panel member at
the <a href="https://www.eventbrite.co.uk/e/young-quantum-researchers-summer-school-tickets-1325602004279?aff=oddtdtcreator"
target="_blank">Young Quantum Researcher Summer School 2025</a> in
Edinburgh.
</li>
<li>
I was one of the organisers of the Scottish Programming Languages
and Verification Summer
School, <a href="https://spli.scot/splv/2025-edinburgh/"
target="_blank">SPLV 2025</a>, in Edinburgh.
</li>
<li>
I served on the Program Committee for
<a href="https://msp.cis.strath.ac.uk/types2025/"
target="_blank">TYPES 2025</a>.
</li>
</dl>
</div>
</section>
<section class="section is-size-5">
<div class="container">
<h3 class="title">Links</h3>
<a href="https://spli.scot/" target="_blank">PL research in Scotland</a>,
<a href="https://sites.google.com/view/catniporg/meetings" target="_blank">category theory seminars in Scotland</a>,
<a href="https://davidmathlogic.com/colorblind/" target="_blank">colouring for colourblind</a>,
<a href="https://julesjacobs.com/misc/deadlines/" target="_blank">PL deadline calendar</a>,
<a href="https://tikzcd.yichuanshen.de/" target="_blank">editor for
tikz-cd diagrams</a>,<br>
<a href="https://edinburghhoppers.com/" target="_blrank">Edinburgh Hoppers</a>,
<a href="https://what3words.com" target="_blank">What3Words</a>,
<!--<a href="https://www.bbc.co.uk/food/recipes/sticky_toffee_pudding_05454"
target="_blank">a good recipe</a>,-->
<a href="https://xkcd.com/2788/" target="_blank">an xkcd</a>,
<!--<a href="https://xkcd.com/2863/" target="_blank">another xkcd</a>,-->
<a href="https://www.raileurope.com/en-gb" target="_blank">travel through Europe by train</a>
<!--,<a href="https://spiele.zeit.de/ecke/" target="_blank">Um die Ecke gedacht</a>-->
</div>
</section>
<section class="section">
<div class="container">
last modified: <p id="demo"></p>
<script>
let text = document.lastModified.split(" ")[0];
let el = text.split("/");
let date = el[1] + "/" + el[0] + "/" + el[2];
document.getElementById("demo").innerHTML = date;
</script>
</div>
</section>
</body>
</html>