diff options
| -rw-r--r-- | build/atom.xml | 2 | ||||
| -rw-r--r-- | build/resume/index.html | 11 | ||||
| -rw-r--r-- | pages/resume.md | 9 |
3 files changed, 10 insertions, 12 deletions
diff --git a/build/atom.xml b/build/atom.xml index 253060a..de62b64 100644 --- a/build/atom.xml +++ b/build/atom.xml @@ -2,7 +2,7 @@ <feed xmlns="http://www.w3.org/2005/Atom"> <title>Adam Stück's blog</title> <link href="https://adast.dk/atom.xml" rel="self" /> - <updated>2023-12-15T16:22:25Z</updated> + <updated>2023-12-15T16:30:52Z</updated> <author> <name>Adam Stück</name> </author> 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 & 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 & Languages</h2> <p>Core tools are C#, HTML, CSS, JavaScript & 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> 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 |