aboutsummaryrefslogtreecommitdiff
path: root/build/resume
diff options
context:
space:
mode:
authorAdam Stück <adam@adast.dk>2023-12-15 16:31:03 +0100
committerAdam Stück <adam@adast.dk>2023-12-15 16:31:03 +0100
commit722e1f0a3b28c5f546e7110fd7e3b1429e0d9d46 (patch)
treebd28f032358f13d50ca520e708b0a7a51e7fecc6 /build/resume
parent0bcb314db4663aff08d02d4f7921b6be0d14b05b (diff)
resume: add country flags
tidy up commented info
Diffstat (limited to 'build/resume')
-rw-r--r--build/resume/index.html11
1 files changed, 5 insertions, 6 deletions
diff --git a/build/resume/index.html b/build/resume/index.html
index 97dd150..9907e02 100644
--- a/build/resume/index.html
+++ b/build/resume/index.html
@@ -17,16 +17,14 @@
<h1>Adam Stück</h1>
<p><strong>Linux System Administrator &amp; Software Engineer</strong><br>
adam@adast.dk<br>
-:flag-dk: :flag-ie:</p>
+🇩🇰 🇮🇪</p>
<p>Passionate about open source software, usability, performance, privacy, and
minimal design. </p>
<h2>Skills &amp; Languages</h2>
<p>Core tools are C#, HTML, CSS, JavaScript &amp; the command line. Currently improving my skills
as a sysadmin and learning the Godot game engine. I also enjoy tinkering with
basic shell scripts and Unix systems.</p>
-<!-- TODO: compress this section to a couple of sentences
-
-A selection of tools and applications I have expert experience using:
+<!-- A selection of tools and applications I have expert experience using:
- Linux
- Git, Unix Shell
@@ -123,7 +121,7 @@ In Proceedings of the 29th International SPIN Symposium on Model Checking of Sof
<a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a>
<a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a>
<a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> </p>
-<p><div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration
+<!-- <div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration
has a significant impact on reachability analysis in explicit model checking
and existing tools use several variants of search heuristics and random walks
in order to overcome the state-space explosion problem. We contribute with a
@@ -135,7 +133,8 @@ model checker TAPAAL and document its efficiency on a large benchmark of Petri
net models from the annual Model Checking Contest. The experiments show that
our heuristic search outperforms the standard search approaches in multiple
metrics and that it constitutes a worthy addition to the portfolio of classical
-search strategies. </div></p>
+search strategies. </div>
+ -->
<h2>Competitions</h2>
<ul>
<li>2022: Senior Qualifier in the Danish Cyber Championships</li>