diff options
| author | Adam Stück <adam@adast.dk> | 2023-12-15 16:31:03 +0100 |
|---|---|---|
| committer | Adam Stück <adam@adast.dk> | 2023-12-15 16:31:03 +0100 |
| commit | 722e1f0a3b28c5f546e7110fd7e3b1429e0d9d46 (patch) | |
| tree | bd28f032358f13d50ca520e708b0a7a51e7fecc6 /build/resume | |
| parent | 0bcb314db4663aff08d02d4f7921b6be0d14b05b (diff) | |
resume: add country flags
tidy up commented info
Diffstat (limited to 'build/resume')
| -rw-r--r-- | build/resume/index.html | 11 |
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 & 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> |