~laumann/laumann.xyz

ref: fee2e09d56e20fc0365242f378bed74180e1e5f3 laumann.xyz/about/index.html -rw-r--r-- 2.9 KiB
fee2e09d — Thomas Bracht Laumann Jespersen about: Remove some commas 8 months ago 
                                                                                
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
---
layout: default
title: who
active: about
---

<h4>Education</h4>
<p>
	<ul>
		<li>MsC in Computer Science from Copenhagen University
			<ul>
				<li>Project: Implementing Base
					Change without Space
					Change. An
					implementation of the
					SOLE encoding scheme (<a href="https://git.laumann.xyz/dodis-patrascu-thorup/">code</a>)</li>
				<li>MsC Thesis: Practical
					Session Types for
					Rust (<a href="https://github.com/Munksgaard/session-types">code</a>, <a href="http://munksgaard.me/papers/munksgaard-laumann-thesis.pdf">pdf</a>)</li>
			</ul>
		</li>
		<li>BsC in Computer Science from Århus University</li>
	</ul>
</p>

<h4>Papers</h4>
<p>
	<ul>
		<li>
			Session Types for Rust (with Philip Munksgaard
			and Ken Friis Larsen) WGP'15 (<a href="http://munksgaard.me/papers/laumann-munksgaard-larsen.pdf">pdf</a>)
		</li>
	</ul>
</p>


<p>I love programming. My interests in Computer Science are rather
	broad, but one of my chief interests is <em>programming languages</em>.
	The study and implementation of programming languages is extremely
	interesting. I have experience working with and studying the following
	list of languages:</p>

<p>
	<ul class="inlist">
		<li><a href="http://rust-lang.org/">Rust</a></li>
		<li><a href="http://golang.org/">Go</a></li>
		<li><a href="http://haskell.org/">Haskell</a></li>
		<li><a href="http://scheme.org/">Scheme</a></li>
		<li><a href="http://latex-project.org/"><span
													class="latex">L<sup>a</sup>T<sub>e</sub>X</span></a></li>
		<li><a href="http://ruby-lang.org/">Ruby</a></li>
		<li><a href="http://python.org/">Python</a></li>
		<li><a href="http://cprogramming.org/">C</a></li>
		<li><a href="http://cprogramming.org/">C++</a></li>
		<li><a href="http://harmful.cat-v.org/software/java">Java</a></li>
		<li><a href="http://erlang.org/">Erlang</a></li>
		<li><a href="http://scala-lang.org/">Scala</a></li>
		<li><a href="http://scheme.org/">Scheme</a></li>
		<li>JavaScript</li>
	</ul>
</p>

<h4>Software</h4>
<p>
	<ul class="inlist">
		<li>vim</li>
		<li>Emacs</li>
		<li>Zsh</li>
		<li>Git</li>
		<li>Docker</li>
		<li>Mutt</li>
		<li>VirtualBox</li>
		<li>Gerrit</li>
		<li>Bitbucket</li>
		<li>Keybase</li>
	</ul>
</p>
<p>For software I use Emacs, vim,
	Zsh, <a href="http://git-scm.org">git</a>. I follow the
	development of some software projects,
	notably <a href="http://kernel.org">Linux</a>, git
	and <a href="http://github.com/jonas/tig">tig</a>.</p>

<h4>Free Software Foundation</h4>

<p>I support the Free Software movement
	and <a href="http://fsf.org">FSF</a>, and believe the Open Source way of
	developing software is the path of the future.</p>

<h4>Operating Systems</h4>

<p>My daily driver is <a href="https://gentoo.org/">Gentoo Linux</a>. I just
	love compiling things.
</p>

<p>
	I admire <a href="https://9p.io/plan9/">Plan 9 from Bell Labs</a>, the dedication to
	simplicity is so impressive and the software community (at least the
	FOSS community) owe many great things to the creators of Plan 9.
</p>