diff options
Diffstat (limited to 'pages')
| -rw-r--r-- | pages/resume.md | 9 |
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 |