bohlender.github.io/index.html at master · bohlender/bohlender.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
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
<!DOCTYPE html>
<html lang="en-gb">
    <head>
	<meta name="generator" content="Hugo 0.92.0" />
	<meta charset="UTF-8">
	<meta http-equiv="X-UA-Compatible" content="IE=edge">
	<meta name="viewport" content="width=device-width,initial-scale=1">

	<link rel="stylesheet" href="/css/style.css">
	<link rel="stylesheet" href="/css/perfundo.with-icons.min.css">

	<link rel="alternate" type="application/rss+xml" href="https://bohlender.pro/blog/index.xml" title="bohlender.pro" />


<meta property="og:title" content="Home" />
<meta property="og:description" content="Both a portfolio and outlet for all things creative" />
<meta property="og:type" content="website" />
<meta property="og:url" content="https://bohlender.pro/" />
<meta property="og:image" content="https://bohlender.pro/portrait.jpg"/>
<meta property="og:updated_time" content="2019-08-17T22:52:06+02:00" />

	<title>bohlender.pro</title>
</head>
    <body class="page">
        <header>
	<nav>
		<label for="show-menu" class="show-menu">
			<img class="icon" src="/gfx/fa-icons.svg#bars" alt="Toggle menu"/>
		</label>
		<input type="checkbox" id="show-menu" role="button" aria-pressed="true">
		<ul class="dropdown">
			<li><a class="selected" href="/">Home</a></li>
			<li><a href="/cv/">CV</a></li>
			<li><a href="/projects/">Projects</a></li>
			<li><a href="/blog/">Blog</a></li>
			<li><a href="/photography/">Photography</a></li>
		</ul>
	</nav>
</header>
        <div class="container">
        <div class="content">
<div class="home">
	<aside>
		<figure>
			<img class="round drops-shadow" src="/portrait.jpg" alt="Portrait of ">
		</figure>
	</aside>
    <main>
		<h1 id="name">Dimitri Bohlender</h1>
		<p id="job">Software Engineer</p>

		<div id="topics">Formal Methods | Modelling & Verification</div>
		<hr>
		<div id="description">
			<p>I&#39;m a software engineer with background in formal methods research. I formalise systems, develop decision procedures and care about consistency, precision and well-defined semantics in speech, writing, code &amp; models. I&#39;m currently working at Amazon.</p>
			<p>Since I value authenticity this site serves as both a portfolio and a personal website.</p>
		</div>
		<ul class="social">
			<li>
				<a href="https://github.com/bohlender">
					<img class="icon" src="/gfx/fa-icons.svg#github" alt="Open GitHub profile" />
				</a>
			</li>
			<li>
				<a href="https://www.last.fm/user/balddenimhero">
					<img class="icon" src="/gfx/fa-icons.svg#lastfm" alt="Open last.fm profile" />
				</a>
			</li>
			<li>
				<a href="mailto:contact@bohlender.pro">
					<img class="icon" src="/gfx/fa-icons.svg#mail" alt="Contact via e-mail" />
				</a>
			</li><li>
				<a href="https://bohlender.pro/blog/index.xml">
					<img class="icon" src="/gfx/fa-icons.svg#feed" alt="Open RSS feed" />
				</a>
			</li>
		</ul>
	</main>
</div>

        </div>
        </div>
        <footer>
	<p>© Dimitri Bohlender</p>
	<p><a href="/legal">Legal Notice</a></p>
</footer>

<script src="/perfundo/perfundo.min.js"></script>
<script>
	perfundo('.perfundo', {
		disableHistory: true,
		swipe: true
	});
</script>
    </body>
</html>