stefanzetzsche.github.io/index.html at master · stefanzetzsche/stefanzetzsche.github.io · GitHub

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
<!DOCTYPE html>
<html>
<head>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta charset="UTF-8">
<meta name="author" content="Stefan Zetzsche">
<meta name="keywords" content="Stefan Zetzsche, Zetzsche, Stefan, UCL, Computer Science, PhD, PPLV, Math, Hamburg, London, AWS, Amazon, Automated Reasoning">
<meta name="description" content="Stefan Zetzsche is an Applied Scientist in the Automated Reasoning Group of Amazon Web Services.">
<title>Stefan Zetzsche</title>
<link href="https://fonts.googleapis.com/css2?family=EB+Garamond&display=swap" rel="stylesheet">
<link rel="stylesheet" media="screen" href="https://fontlibrary.org/face/cmu-typewriter" type="text/css"/>
<link href="https://fonts.googleapis.com/css2?family=Inter:wght@100;200;300;400&display=swap" rel="stylesheet">
<link href="style.css" rel="stylesheet">
</head>
<body>

<div id="navicontainer">
<div id="navi">
<div id="naviinside">
Stefan Zetzsche
</div>
</div>
</div>

<div id="outer">
<div class="container" id="overview">
<h2>Overview</h2>
<img src="files/self.jpg" alt="Self portrait" id="self" />
<p id="intro">
I'm an Applied Scientist with the <a href="https://aws.amazon.com/security/provable-security/">Automated Reasoning Group</a> at <a href="https://aws.amazon.com">Amazon Web Services</a>, based in London, United Kingdom.
<br><br>
Before that, I was a PhD student in the <a href="http://pplv.cs.ucl.ac.uk/welcome/">Programming Principles, Logic, and Verification Group</a> at <a href="https://www.ucl.ac.uk">University College London</a>, where I was supervised by <a href="https://alexandrasilva.org">Alexandra Silva</a>.
<br><br>
You can reach me via <a href="mailto:stefanzetzsche@gmail.com">email</a> or find me on <a href="https://www.linkedin.com/in/stefan-zetzsche-881555168">LinkedIn</a>, <a href="https://scholar.google.com/citations?user=xzdy3VEAAAAJ&hl=en">Google Scholar</a>, and <a href="https://github.com/stefanzetzsche">GitHub</a>. My <a href="cv.pdf">CV</a> is also available.
</p>
</div>
</div>

</body>
</html>