-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
94 lines (86 loc) · 4.05 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
<!doctype html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="chrome=1">
<title>jost-berthold.de</title>
<link rel="stylesheet" href="stylesheets/styles.css">
<link rel="stylesheet" href="stylesheets/pygment_trac.css">
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js"></script>
<script src="javascripts/respond.js"></script>
<!--[if lt IE 9]>
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<!--[if lt IE 8]>
<link rel="stylesheet" href="stylesheets/ie.css">
<![endif]-->
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
</head>
<body>
<div id="header">
<nav>
<li class="fork"><a href="https://github.com/jberthold">View On GitHub</a></li>
</nav>
<h1> jost-berthold.de</h1>
</div><!-- end header -->
<div class="wrapper">
<section>
<!-- <div id="title">
<h1>jost-berthold.de</h1>
<p></p>
<hr>
<span class="credits left">Project maintained by <a href="https://github.com/jberthold">jberthold</a></span>
<span class="credits right">Hosted on GitHub Pages — Theme by <a href="http://twitter.com/#!/michigangraham">mattgraham</a></span>
</div>
-->
<h3>
<a name="jost-bertholdde" class="anchor" href="#jost-bertholdde"><span class="octicon octicon-link"></span></a>jost-berthold.de</h3>
<img src="images/Jost201206.jpg" width="300px" style="float:right;margin:10px"/>
<p style="text-align:justify">I am a computer scientist from Germany.
At the moment, I live and work in Sydney for <a href="http://runtimeverification.com">Runtime-Verification</a>
and was at <a href="http://commbank.com.au">Commonwealth Bank</a> and <a href="http://digitalasset.com">Digital Asset</a> before.
Until February 2015,
I was an assistant professor
at the <a href="http://www.diku.dk">University of Copenhagen (DIKU)</a>.
I do research in parallel computing using functional languages, check out
<a href="http://www.mathematik.uni-marburg.de/%7Eeden/">the parallel Haskell dialect Eden</a>
if you want to know more about it.
<br/>
My <a href="papers.html">publications can be found on a separate page on this site</a>,
including full text author versions of most of my papers.
My former computer science home page:
<a href="http://www.mathematik.uni-marburg.de/%7Eberthold/">http://www.mathematik.uni-marburg.de/~berthold/</a>.
There was also
<a href="https://web.archive.org/web/20160527170834/http://www.diku.dk/~berthold/">http://www.diku.dk/~berthold/</a>
but ...some departments just discard web pages of scientific staff like old cake from yesterday. No further comment.
</p>
<p style="text-align:justify">
Apart from computer science, I am interested in old cars (including maintaining them myself).
There <strike>are</strike>were traces of
<a href="" title="sorry, gone">my former Volkswagen camper</a>
online.
<br/>
I also played keyboards in
<a href="https://soundcloud.com/boardtuned-music/funky-telephone-by-friends-of">
several</a>
<a href="http://www.fotocommunity.de/pc/pc/display/368328">bands</a> and own a
<a href="http://www.fenderrhodes.com/pianos/mark1b.html">Fender Rhodes</a> and a
(currently unused) analog
<a href="http://www.vintagesynth.com/korg/trident.php">Korg synthesizer</a>.
Hopefully one day I find time and motivation to refurbish both
instruments, playing them is a great experience. I also have a Midi master keyboard and
one can produce almost indistinguishable sounds for these instruments using software today,
but it is just Not The Same™.
<br/>
I used to do a bit of photography as well, but leave an online exhibition for future work :-)
</p>
<h3 style="clear:both">Contact:</h3>
<p>
mail@ jost-berthold dot <!-- dot dot dot no spam dot dot -->de <br/>
jost.berthold@ google's mail service (or jb.diku at the same place)
</p>
</section>
</div>
<!--[if !IE]><script>fixScale(document);</script><![endif]-->
</body>
</html>