aboutsummaryrefslogtreecommitdiff
path: root/pages
diff options
context:
space:
mode:
Diffstat (limited to 'pages')
-rw-r--r--pages/resume.md9
1 files changed, 4 insertions, 5 deletions
diff --git a/pages/resume.md b/pages/resume.md
index 817a9a1..18e3c29 100644
--- a/pages/resume.md
+++ b/pages/resume.md
@@ -2,7 +2,7 @@
**Linux System Administrator & Software Engineer**<br>
adam@adast.dk<br>
-:flag-dk: :flag-ie:
+🇩🇰 🇮🇪
Passionate about open source software, usability, performance, privacy, and
minimal design.
@@ -13,9 +13,7 @@ Core tools are C#, HTML, CSS, JavaScript & the command line. Currently improving
as a sysadmin and learning the Godot game engine. I also enjoy tinkering with
basic shell scripts and Unix systems.
-<!-- 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
@@ -119,7 +117,7 @@ In Proceedings of the 29th International SPIN Symposium on Model Checking of Sof
[EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10)
[BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23)
-<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
@@ -132,6 +130,7 @@ 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>
+ -->
## Competitions