-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
222 lines (219 loc) · 21.2 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
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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="css/style.css">
<title>Franziskus Wiesnet</title>
</head>
<body class="grid-container">
<nav class="navigation">
<img src="img/me.jpg">
<span class="untertitel">Franziskus Wiesnet</span>
<ul>
<li>
<a href="#home" class="nav-link"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="home" class="svg-inline--fa fa-home fa-w-18" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 576 512"><path fill="currentColor" d="M280.37 148.26L96 300.11V464a16 16 0 0 0 16 16l112.06-.29a16 16 0 0 0 15.92-16V368a16 16 0 0 1 16-16h64a16 16 0 0 1 16 16v95.64a16 16 0 0 0 16 16.05L464 480a16 16 0 0 0 16-16V300L295.67 148.26a12.19 12.19 0 0 0-15.3 0zM571.6 251.47L488 182.56V44.05a12 12 0 0 0-12-12h-56a12 12 0 0 0-12 12v72.61L318.47 43a48 48 0 0 0-61 0L4.34 251.47a12 12 0 0 0-1.6 16.9l25.5 31A12 12 0 0 0 45.15 301l235.22-193.74a12.19 12.19 0 0 1 15.3 0L530.9 301a12 12 0 0 0 16.9-1.6l25.5-31a12 12 0 0 0-1.7-16.93z"></path></svg><span class="nav-text">Home</span></a>
</li>
<li>
<a href="#news" class="nav-link"><svg aria-hidden="true" focusable="false" data-prefix="far" data-icon="newspaper" class="svg-inline--fa fa-newspaper fa-w-18" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 576 512"><path fill="currentColor" d="M552 64H112c-20.858 0-38.643 13.377-45.248 32H24c-13.255 0-24 10.745-24 24v272c0 30.928 25.072 56 56 56h496c13.255 0 24-10.745 24-24V88c0-13.255-10.745-24-24-24zM48 392V144h16v248c0 4.411-3.589 8-8 8s-8-3.589-8-8zm480 8H111.422c.374-2.614.578-5.283.578-8V112h416v288zM172 280h136c6.627 0 12-5.373 12-12v-96c0-6.627-5.373-12-12-12H172c-6.627 0-12 5.373-12 12v96c0 6.627 5.373 12 12 12zm28-80h80v40h-80v-40zm-40 140v-24c0-6.627 5.373-12 12-12h136c6.627 0 12 5.373 12 12v24c0 6.627-5.373 12-12 12H172c-6.627 0-12-5.373-12-12zm192 0v-24c0-6.627 5.373-12 12-12h104c6.627 0 12 5.373 12 12v24c0 6.627-5.373 12-12 12H364c-6.627 0-12-5.373-12-12zm0-144v-24c0-6.627 5.373-12 12-12h104c6.627 0 12 5.373 12 12v24c0 6.627-5.373 12-12 12H364c-6.627 0-12-5.373-12-12zm0 72v-24c0-6.627 5.373-12 12-12h104c6.627 0 12 5.373 12 12v24c0 6.627-5.373 12-12 12H364c-6.627 0-12-5.373-12-12z"></path></svg><span class="nav-text">News</span></a>
</li>
<li>
<a href="#research" class="nav-link"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="microscope" class="svg-inline--fa fa-microscope fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M160 320h12v16c0 8.84 7.16 16 16 16h40c8.84 0 16-7.16 16-16v-16h12c17.67 0 32-14.33 32-32V64c0-17.67-14.33-32-32-32V16c0-8.84-7.16-16-16-16h-64c-8.84 0-16 7.16-16 16v16c-17.67 0-32 14.33-32 32v224c0 17.67 14.33 32 32 32zm304 128h-1.29C493.24 413.99 512 369.2 512 320c0-105.88-86.12-192-192-192v64c70.58 0 128 57.42 128 128s-57.42 128-128 128H48c-26.51 0-48 21.49-48 48 0 8.84 7.16 16 16 16h480c8.84 0 16-7.16 16-16 0-26.51-21.49-48-48-48zm-360-32h208c4.42 0 8-3.58 8-8v-16c0-4.42-3.58-8-8-8H104c-4.42 0-8 3.58-8 8v16c0 4.42 3.58 8 8 8z"></path></svg><span class="nav-text">Research</span></a>
</li>
<li>
<a href="#publications" class="nav-link"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="book" class="svg-inline--fa fa-book fa-w-14" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M448 360V24c0-13.3-10.7-24-24-24H96C43 0 0 43 0 96v320c0 53 43 96 96 96h328c13.3 0 24-10.7 24-24v-16c0-7.5-3.5-14.3-8.9-18.7-4.2-15.4-4.2-59.3 0-74.7 5.4-4.3 8.9-11.1 8.9-18.6zM128 134c0-3.3 2.7-6 6-6h212c3.3 0 6 2.7 6 6v20c0 3.3-2.7 6-6 6H134c-3.3 0-6-2.7-6-6v-20zm0 64c0-3.3 2.7-6 6-6h212c3.3 0 6 2.7 6 6v20c0 3.3-2.7 6-6 6H134c-3.3 0-6-2.7-6-6v-20zm253.4 250H96c-17.7 0-32-14.3-32-32 0-17.6 14.4-32 32-32h285.4c-1.9 17.1-1.9 46.9 0 64z"></path></svg><span class="nav-text">Publications</span></a>
</li>
<li>
<a href="#talks" class="nav-link"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="chalkboard-teacher" class="svg-inline--fa fa-chalkboard-teacher fa-w-20" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 640 512"><path fill="currentColor" d="M208 352c-2.39 0-4.78.35-7.06 1.09C187.98 357.3 174.35 360 160 360c-14.35 0-27.98-2.7-40.95-6.91-2.28-.74-4.66-1.09-7.05-1.09C49.94 352-.33 402.48 0 464.62.14 490.88 21.73 512 48 512h224c26.27 0 47.86-21.12 48-47.38.33-62.14-49.94-112.62-112-112.62zm-48-32c53.02 0 96-42.98 96-96s-42.98-96-96-96-96 42.98-96 96 42.98 96 96 96zM592 0H208c-26.47 0-48 22.25-48 49.59V96c23.42 0 45.1 6.78 64 17.8V64h352v288h-64v-64H384v64h-76.24c19.1 16.69 33.12 38.73 39.69 64H592c26.47 0 48-22.25 48-49.59V49.59C640 22.25 618.47 0 592 0z"></path></svg><span class="nav-text">Talks</span></a>
</li>
<li>
<a href="#hobbys" class="nav-link"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="chess" class="svg-inline--fa fa-chess fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M74 208H64a16 16 0 0 0-16 16v16a16 16 0 0 0 16 16h15.94A535.78 535.78 0 0 1 64 384h128a535.78 535.78 0 0 1-15.94-128H192a16 16 0 0 0 16-16v-16a16 16 0 0 0-16-16h-10l33.89-90.38a16 16 0 0 0-15-21.62H144V64h24a8 8 0 0 0 8-8V40a8 8 0 0 0-8-8h-24V8a8 8 0 0 0-8-8h-16a8 8 0 0 0-8 8v24H88a8 8 0 0 0-8 8v16a8 8 0 0 0 8 8h24v32H55.09a16 16 0 0 0-15 21.62zm173.16 251.58L224 448v-16a16 16 0 0 0-16-16H48a16 16 0 0 0-16 16v16L8.85 459.58A16 16 0 0 0 0 473.89V496a16 16 0 0 0 16 16h224a16 16 0 0 0 16-16v-22.11a16 16 0 0 0-8.84-14.31zm92.77-157.78l-3.29 82.2h126.72l-3.29-82.21 24.6-20.79A32 32 0 0 0 496 256.54V198a6 6 0 0 0-6-6h-26.38a6 6 0 0 0-6 6v26h-24.71v-26a6 6 0 0 0-6-6H373.1a6 6 0 0 0-6 6v26h-24.71v-26a6 6 0 0 0-6-6H310a6 6 0 0 0-6 6v58.6a32 32 0 0 0 11.36 24.4zM384 304a16 16 0 0 1 32 0v32h-32zm119.16 155.58L480 448v-16a16 16 0 0 0-16-16H336a16 16 0 0 0-16 16v16l-23.15 11.58a16 16 0 0 0-8.85 14.31V496a16 16 0 0 0 16 16h192a16 16 0 0 0 16-16v-22.11a16 16 0 0 0-8.84-14.31z"></path></svg><span class="nav-text">Hobbys</span></a>
</li>
<li>
<a href="#contact" class="nav-link"><svg aria-hidden="true" focusable="false" data-prefix="far" data-icon="address-card" class="svg-inline--fa fa-address-card fa-w-18" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 576 512"><path fill="currentColor" d="M528 32H48C21.5 32 0 53.5 0 80v352c0 26.5 21.5 48 48 48h480c26.5 0 48-21.5 48-48V80c0-26.5-21.5-48-48-48zm0 400H48V80h480v352zM208 256c35.3 0 64-28.7 64-64s-28.7-64-64-64-64 28.7-64 64 28.7 64 64 64zm-89.6 128h179.2c12.4 0 22.4-8.6 22.4-19.2v-19.2c0-31.8-30.1-57.6-67.2-57.6-10.8 0-18.7 8-44.8 8-26.9 0-33.4-8-44.8-8-37.1 0-67.2 25.8-67.2 57.6v19.2c0 10.6 10 19.2 22.4 19.2zM360 320h112c4.4 0 8-3.6 8-8v-16c0-4.4-3.6-8-8-8H360c-4.4 0-8 3.6-8 8v16c0 4.4 3.6 8 8 8zm0-64h112c4.4 0 8-3.6 8-8v-16c0-4.4-3.6-8-8-8H360c-4.4 0-8 3.6-8 8v16c0 4.4 3.6 8 8 8zm0-64h112c4.4 0 8-3.6 8-8v-16c0-4.4-3.6-8-8-8H360c-4.4 0-8 3.6-8 8v16c0 4.4 3.6 8 8 8z"></path></svg><span class="nav-text">Contact</span></a>
</li>
</ul>
</nav>
<main>
<div id="home">
<h1><hr>  Franziskus Wiesnet<hr></h1>
<p>
I am a researcher in the <a class="extern" href="https://www.tuwien.at/mg/dmg" target="_blank">Institute of Discrete Mathematics and Geometry</a>
at the TU Wien. Currently I am
working as manager on the projekt "Material Interpretation" funded by the <a class="extern" href="https://www.fwf.ac.at/" target="_blank">Austrian Science Fund - FWF</a>.
</p>
<p>
From 2012 to 2017 I have studied maths at the Ludwig-Maximilians-Universität in Munich. From 2017 to 2021 I did my doctorate in mathematics at the Universities of Trento and Verona and since 2019 also at the Ludwig-Maximilians-Universität in Munich. My supervisors were <a class="extern" href="https://www.di.univr.it/?ent=persona&id=21404&lang=en" target="_blank">Peter Schuster</a> and <a class="extern" href="https://www.mathematik.uni-muenchen.de/~schwicht/" target="_blank">Helmut Schwichtenberg</a>.
</p>
</div>
<div id="news">
<h1><hr>  News<hr></h1>
<p>
From September 15 to 21, 2024, I participated in the <a class='extern' href='https://www.mathematik.uni-muenchen.de/~schwicht/pc24.php' target='_blank'>Autumn School "Proof and Computation"</a> in Fischbachau, where I gave a talk on "Tools and Tips for Math Research" and led a tutorial on the proof assistant Minlog.
</p>
</div>
<div id="research">
<h1 id="research"><hr>  Research<hr></h1>
My main areas of research are proof theory, constructive mathematics, and formal system. To date, most of my papers are concerned with one or more of the following topics:
<ul>
<li>Proof assistents; in particular <a href="https://www.mathematik.uni-muenchen.de/~logik/minlog/index.php" target="_blank" class="extern">Minlog</a> and <a href="https://wiki.portal.chalmers.se/agda/pmwiki.php" target="_blank" class="extern">Agda</a>.</li>
<li>Constructive Algebra</li>
<li>Constructive Analysis</li>
<li>Signed digit representation of real numbers</li>
<li>Program extraction from proofs</li>
<li>Proof mining</li>
<li>The axiom of choice and its variants</li>
<li>Well quasi orders</li>
<li>Linear logic</li>
</ul>
Other fields of research that I am interested in are:
<ul>
<li>Artificial Intelligence</li>
<li>Set Theory</li>
<li>Game Theory</li>
</ul>
</div>
<div id="publications">
<h1><hr>  Publications<hr></h1>
<h2> Preprints</h2>
<ol reversed="reversed" start="9">
<li class="cite">
<b>A material interpretation of maximal ideals in ℤ[X]</b><br>
Franziskus Wiesnet<br>
(<a class="pdf" href="pdf/MaxZX.pdf" target="_blank">pdf</a>, <a class="pdf" href="https://github.com/FranziskusWiesnet/maxzx" target="_blank">python program</a>)<br>
</li>
</ol>
<h2> Peer reviewed</h2>
<ol reversed="reversed">
<li class="cite">
<b>Limits of real numbers in the binary signed digit representation</b><br>
<a class="extern" href="https://www.mathematik.uni-muenchen.de/~koepp/" target="_blank">Nils Köpp</a> and Franziskus Wiesnet<br>
Logical Methods in Computer Science, Volume 18, Issue 3; 2022 <br>
(<a class="pdf" href="https://lmcs.episciences.org/9940/pdf" target="_blank">pdf</a>, <a class="pdf" href="https://doi.org/10.46298/lmcs-18(3:24)2022" target="_blank">doi</a>)
</li>
<li class="cite">
<b>Rates of convergence for asymptotically weakly contractive mappings in normed spaces</b><br>
<a class="extern" href="https://t-powell.github.io/" target="_blank">Thomas Powell</a> and Franziskus Wiesnet<br>
Numerical Functional Analysis and Optimization, 2021 <br>
(<a class="pdf" href="https://doi.org/10.1080/01630563.2021.2006696" target="_blank">doi</a>)
</li>
<li class="cite">
<b>A universal algorithm for Krull’s theorem</b><br>
<a class="extern" href="https://t-powell.github.io/" target="_blank">Thomas Powell</a>, <a class="extern" href="https://www.di.univr.it/?ent=persona&id=21404&lang=en" target="_blank">Peter Schuster</a> and Franziskus Wiesnet<br>
Information and Computation, 104761, 2021 <br>
(<a class="pdf" href="pdf/powell2021universal.pdf" target="_blank">pdf</a>, <a class="pdf" href="https://doi.org/10.1016/j.ic.2021.104761" target="_blank">doi</a>)
</li>
<li class="cite">
<b>An algorithmic version of Zariski's lemma</b><br>
Franziskus Wiesnet<br>
Connecting with Computability. Lecture Notes in Computer Science, vol 12813. Springer, Cham. 2021<br>
(<a class="pdf" href="pdf/wiesnet2021algorithmic.pdf" target="_blank">pdf</a>, <a class="pdf" href="https://doi.org/10.1007/978-3-030-80049-9_46" target="_blank">doi</a>)
</li>
<li class="cite">
<b>Logic for exact real arithmetic</b><br>
<a class="extern" href="https://www.mathematik.uni-muenchen.de/~schwicht/" target="_blank">Helmut Schwichtenberg</a> and Franziskus Wiesnet<br>
Logical Methods in Computer Science, Volume 17, Issue 2, 2021 <br>
(<a class="pdf" href="pdf/schwichtenberg2021logic.pdf" target="_blank">pdf</a>, <a class="pdf" href=" https://doi.org/10.23638/LMCS-17(2:7)2021" target="_blank">doi</a>)
</li>
<li class="cite">
<b>An algorithmic approach to the existence of ideal objects in commutative algebra</b><br>
<a class="extern" href="https://t-powell.github.io/" target="_blank">Thomas Powell</a>, <a class="extern" href="https://www.di.univr.it/?ent=persona&id=21404&lang=en" target="_blank">Peter Schuster</a> and Franziskus Wiesnet<br>
Proceedings of WoLLIC '19, LNCS 11541, p. 533–549, 2019 <br>
(<a class="pdf" href="pdf/powell2019algorithmic.pdf" target="_blank">pdf</a>, <a class="pdf" href="https://doi.org/10.1007/978-3-662-59533-6_32" target="_blank">doi</a>)
</li>
<li class="cite">
<b>Introduction to Minlog</b><br>
Franziskus Wiesnet<br>
Proof and Computation, World Scientific, p. 233-288, 2018<br>
(<a class="pdf" href="pdf/wiesnet2018introduction.pdf" target="_blank">pdf</a>, <a class="pdf" href="https://doi.org/10.1142/9789813270947_0008" target="_blank">doi</a>)
</li>
<li class="cite">
<b>Higman's lemma and its computational content</b><br>
<a class="extern" href="https://www.mathematik.uni-muenchen.de/~schwicht/" target="_blank">Helmut Schwichtenberg</a>, <a class="extern" href="https://www.swansea.ac.uk/staff/science/compsci/seisenberger-m/" target="_blank">Monika Seisenberger</a> and Franziskus Wiesnet <br>
Advances in proof theory. Birkhäuser, Cham, p. 353-375, 2016. <br>
(<a class="pdf" href="pdf/schwichtenberg2016higman.pdf" target="_blank">pdf</a>, <a class="pdf" href="https://doi.org/10.1007/978-3-319-29198-7_11" target="_blank">doi</a>)
</li>
</ol>
<h2> PhD thesis</h2>
<p class="cite">
<b>The Computational Content of Abstract Algebra and Analysis</b><br>
Supervised by <a class="extern" href="https://www.di.univr.it/?ent=persona&id=21404&lang=en" target="_blank">Peter Schuster</a> and <a class="extern" href="https://www.mathematik.uni-muenchen.de/~schwicht/" target="_blank">Helmut Schwichtenberg</a><br>
Ludwig-Maximilians-Universität München, Università degli Studi di Verona, Università degli Studi di Trento, 2021 <br>
(<a class="pdf" href="pdf/wiesnet2021computational.pdf" target="_blank">pdf</a>, <a class="pdf" href="https://www.doi.org/10.5282/edoc.28929" target="_blank">doi</a>)
</p>
<h2> Master thesis</h2>
<p class="cite">
<b>Konstruktive analysis mit exakten reellen Zahlen</b> (german)<br>
Supervised by <a class="extern" href="https://www.mathematik.uni-muenchen.de/~schwicht/" target="_blank">Helmut Schwichtenberg</a><br>
Ludwig-Maximilians-Universität München, 2017<br>
(<a class="pdf" href="pdf/wiesnet2017konstrutive.pdf" target="_blank">pdf</a>)
</p>
</div>
<div id="talks">
<h1><hr>  Talks<hr></h1>
<ul reversed="reversed">
<li class="talk"><b>Par means Parallel: Multiplicative Linear Logic as Concurrent Functional Programs</b><br>
<a class="extern" href="https://cs-web.swan.ac.uk/pc22/" target="_blank">Proof and Computation 2022</a> international meeting at Cohaus Schlehdorf, 2022<br>
</li>
<li class="talk"><b>An algorithmic version of Zariski's lemma</b><br>
<a class="extern" href="https://www.cie2021.ugent.be/" target="_blank">Computability in Europe 2021: Connecting with Computability</a> online seminar at the Universiteit Gent, 2021<br>
</li>
<li class="talk"><b> A case study of proof mining in analysis</b><br>
<a class="extern" href="https://webmagazine.unitn.it/en/evento/dmath/84369/doc-in-progress" target="_blank">Doc in Progress</a> online seminar at the Università di Trento, 2021
</li>
<li class="talk"><b>A case study in constructive algebra: Zariski's lemma</b><br>
<a class="extern" href="https://www.mathematik.uni-muenchen.de/~schwicht/seminars/osem/indexosem.php" target="_blank">Oberseminar Mathematische Logik</a> at the Ludwig-Maximilians-Universität München, 2020
</li>
<li class="talk"><b>Constructive Real Algebra</b><br>
<a class="extern" href="https://www.commalg.org/2020/02/04/algebra-and-algorithms-djerba-tunisia/" target="_blank">Algebra and Algorithms</a> in Djerba, 2020<br>
</li>
<li class="talk"><b>An algorithmic approach to the existence of ideal objects in commutative algebra</b><br>
<a class="extern" href="https://wollic2019.sites.uu.nl/" target="_blank">Workshop on Logic, Language, Information and Computation</a> in Utrecht, 2019<br>
</li>
<li class="talk"><b>An Algorithmic Approach for Maximal Objects in Algebra</b><br>
<a class="extern" href="https://cj-xu.github.io/abm19/index.html" target="_blank">Arbeitstagung Bern-München</a> in München, 2019
</li>
<li class="talk"><b>Applications of the Functional Interpretation with States</b><br>
<a class="extern" href="http://mw.inf.unibe.ch/index.html" target="_blank">Münchenwiler Meeting Herbst 2018</a> in Münchenwiler, 2018
</li>
<li class="talk"><b>Limits in the Signed Digit Representation of Reals</b><br>
<a class="extern" href="http://abm.inf.unibe.ch/" target="_blank">Arbeitstagung Bern-München</a> in Bern, 2018
</li>
<li class="talk">
<b>Limit Values in the Signed Digit Representation</b> <br>
<a class="extern" href="https://logicseminarverona.files.wordpress.com/2017/11/programm6.pdf" target="_blank">1st Swiss-Italian Workshop on Proof and Computation</a> in Verona, 2018
</li>
<li class="talk">
<b>Computing with infinite data via proofs</b> <br> <a class="extern" href="hhttps://ccc2017.loria.fr/" target="_blank">Workshop on Continuity, Computability, Constructivity -
From Logic to Algorithms</a> in Nancy, 2017
</li>
</ul>
</div>
<div id="hobbys">
<h1><hr>  Hobbys<hr></h1>
<h2>Poker</h2>
I enjoy playing poker online or at small live tournaments.
<h2>The Dark Eye</h2>
<a class="extern" href="https://ulisses-spiele.de/game-system/das-schwarze-auge/" target="_blank">The Dark Eye</a> is a pen-and-paper fantasy role-playing game similar to Dungeons & Dragons. I enjoy being the game master for adventures with my friends and colleagues.
<h2>YouTube Videos</h2>
On my YouTube channel <a class="extern" href="https://www.youtube.com/@franziskuswiesnet" target="_blank">LogicLab</a> I share tutorials and scientific lectures that provide insights into my research work.
Topics such as proof assistants, constructive mathematics, and more are presented in accessible videos and talks.
</div>
<div id="contact">
<h1><hr>  Contact<hr></h1>
<p class="cite">
<svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="at" class="svg-inline--fa fa-at fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M256 8C118.941 8 8 118.919 8 256c0 137.059 110.919 248 248 248 48.154 0 95.342-14.14 135.408-40.223 12.005-7.815 14.625-24.288 5.552-35.372l-10.177-12.433c-7.671-9.371-21.179-11.667-31.373-5.129C325.92 429.757 291.314 440 256 440c-101.458 0-184-82.542-184-184S154.542 72 256 72c100.139 0 184 57.619 184 160 0 38.786-21.093 79.742-58.17 83.693-17.349-.454-16.91-12.857-13.476-30.024l23.433-121.11C394.653 149.75 383.308 136 368.225 136h-44.981a13.518 13.518 0 0 0-13.432 11.993l-.01.092c-14.697-17.901-40.448-21.775-59.971-21.775-74.58 0-137.831 62.234-137.831 151.46 0 65.303 36.785 105.87 96 105.87 26.984 0 57.369-15.637 74.991-38.333 9.522 34.104 40.613 34.103 70.71 34.103C462.609 379.41 504 307.798 504 232 504 95.653 394.023 8 256 8zm-21.68 304.43c-22.249 0-36.07-15.623-36.07-40.771 0-44.993 30.779-72.729 58.63-72.729 22.292 0 35.601 15.241 35.601 40.77 0 45.061-33.875 72.73-58.161 72.73z"></path></svg> franziskus[dot]wiesnet[at]tuwien[dot]ac[dot]at
<br> <br>
<svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="phone" class="svg-inline--fa fa-phone fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M493.4 24.6l-104-24c-11.3-2.6-22.9 3.3-27.5 13.9l-48 112c-4.2 9.8-1.4 21.3 6.9 28l60.6 49.6c-36 76.7-98.9 140.5-177.2 177.2l-49.6-60.6c-6.8-8.3-18.2-11.1-28-6.9l-112 48C3.9 366.5-2 378.1.6 389.4l24 104C27.1 504.2 36.7 512 48 512c256.1 0 464-207.5 464-464 0-11.2-7.7-20.9-18.6-23.4z"></path></svg> +43 (0) 1 58801185184
<br> <br>
Technische Universität Wien <br>
Institut für Diskrete Mathematik und Geometrie<br>
Wiedner Hauptstraße 8–10/104<br>
1040 Vienna, Austria<br><br>
<br><br>
</p>
</div>
</main>
</body>
</html>