~laumann/laumann.xyz

f7e352e398c137c168396d816a1755cbbba407f4 — Thomas Bracht Laumann Jespersen 5 months ago ddbf735
Fix styling of the about page
1 files changed, 89 insertions(+), 86 deletions(-)

M about/index.html
M about/index.html => about/index.html +89 -86
@@ 4,99 4,102 @@ 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>
<article class="post-content">
	<h3>Education</h3>
	<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>
	<h3>Papers</h3>
	<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>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>
	<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>
	<h3>Software</h3>
	<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>
	<h3>Free Software Foundation</h3>

<p>I support
the <a href="https://www.gnu.org/philosophy/free-sw.html">philosophy of
FLOSS</a> (Free/Libre and Open Source Software),
the <a href="http://fsf.org">FSF</a> and
the <a href="https://fsfe.org/">FSFe</a>.</p>
	<p>I support
		the <a href="https://www.gnu.org/philosophy/free-sw.html">philosophy of
			FLOSS</a> (Free/Libre and Open Source Software),
		the <a href="http://fsf.org">FSF</a> and
		the <a href="https://fsfe.org/">FSFe</a>.</p>

<h4>Operating Systems</h4>
	<h3>Operating Systems</h3>

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

</article>