aboutsummaryrefslogtreecommitdiff
path: root/src/resume-da.md
diff options
context:
space:
mode:
authorAdam Stück <adam@adast.dk>2023-05-22 17:31:07 +0200
committerAdam Stück <adam@adast.dk>2023-05-22 17:31:07 +0200
commit775e69fea981b1cec03cc8206d69abed9b824df5 (patch)
treeb046516be42400c6fedf8334fb6e7dd284fe6c3f /src/resume-da.md
parent288c92e992c5569d8e98d6ee8e926398a2f77069 (diff)
New file structure
index.html some-post/ --> index.html
Diffstat (limited to 'src/resume-da.md')
-rw-r--r--src/resume-da.md167
1 files changed, 0 insertions, 167 deletions
diff --git a/src/resume-da.md b/src/resume-da.md
deleted file mode 100644
index 9d8705b..0000000
--- a/src/resume-da.md
+++ /dev/null
@@ -1,167 +0,0 @@
-<script type="text/javascript" language="javascript" src="js/showhide.js"></script>
-
-#### [ [English](/resume) / Dansk ]
-
-# Adam Stück
-
-**Studenterprogrammør / Fritids sysadmin**<br>Aalborg, Danmark<br>adam@adast.dk
-
-<hr>
-
-## Erfaring
-
-### Linux, Sysadmin, Self-hosting (fritid)
-
-**2021-nu**
-
-* Jeg blev hooked på Linux i begyndelsen af 2021
-* Prøvede selv at hoste nogle [tjenester](/services) på Raspberry Pi, senere VPS
-* Begyndte at bygge min personlige platform 😎
-* Linux, SSH, Unix Shell, Git, POSIX scripting
-* Docker, DNS, Certbot, Web Servers, Firewalls, VPNs
-* Utallige command line utilities
-
-### Studenterprogrammør hos E-Komplet
-
-**2020-nu** / Aalborg, Danmark <small>On-site & remote</small>
-
-* Full stack konsulent for E-Komplet klient
-* ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML
-
-### Softwareudvikler hos OK Snacks A/S
-
-**august 2019** / Ikast-Brande, Danmark
-
-* Udvikling af et Excel-system til at holde styr på reservedele på lager til produktionsmaskiner
-* Microsoft Excel, VBA
-
-### Junior Business Analyst hos Arise
-
-**juni 2017 - juli 2017** / Limerick, Irland
-
-* Organisering af data i Excel
-* Automatisering af Excel-opgaver med VBA
-* Udvikling af web apps for at lette nogle callcenter-opgaver
-* Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML
-
-### Skolepraktik hos Arise
-
-**2015** / Limerick, Irland
-
-* To ugers skolepraktik i administrationsafdelingen
-* Excel-programmering som bl.a generering af arbejdstidsplaner
-* Jeg lærte, hvordan et call center fungerer
-* Generelle kontor opgaver
-* Microsoft Excel, VBA
-
-### Coding, Web Dev, Game Dev (fritid)
-
-**2014-nu**
-
-* Begyndte at lære programmering med JavaScript
-* Kom ind i webudvikling, byggede mange personlige hjemmesider for sjov
-* Begyndte at lære spiludvikling med GameMaker og senere Unity
-* Forbedret JavaScript og lært C# ved at bruge Unity
-* Begyndte at udvikle [arena](https://arena.adast.dk), mit multiplayer Quake-lignende FPS spil
-* JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git
-
-## Uddannelse
-
-### Aalborg Universitet
-
-**2019-2023** / Aalborg, Danmark
-
-* Bachelor i Datalogi
-
-## Publikationer
-
-[1] **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**<br>
-by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen<br>
-In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), volume 13872 of LNCS, pages 180--187, Springer-Verlag, 2023.<br>
-[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf)
-<small>[©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs)</small>
-&nbsp; [EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10)
-&nbsp; [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23)
-&nbsp; <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a>
-
-<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
-novel approach based on a random search strategy, where actions are assigned
-dynamically (on-the-fly) updated potencies, changing according to the
-variations of a heuristic distance to the goal configuration as encountered
-during the state-space search. We implement our general idea into a Petri net
-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>
-
-## Konkurrencer
-
-* 2022: Senior Qualifier i De Danske Cybermesterskaber
-* 2020: Deltog i Create Jam
-
-## Sprog
-
-<style>
-dl {
- margin:1rem;
- display:grid;
- grid-template-columns:auto 1fr;
- grid-gap:.2rem 1rem;
-}
-dl dt {
- font-size: .9rem;
- font-weight: 700;
-}
-dl dd:not(:last-child) {
- margin-bottom: .3rem;
-}
-</style>
-<dl class="languages">
-<dt>Engelsk</dt>
-<dd>Flydende skriftligt og mundtligt</dd>
-<dt>Dansk</dt>
-<dd>Flydende skriftligt og mundtligt</dd>
-<dt>Tysk</dt>
-<dd>Begrænset arbejdskompetence</dd>
-<dt>Irsk (Gælisk)</dt>
-<dd>Begrænset arbejdskompetence</dd>
-</dl>
-
-
-## Kompetencer
-
-Værktøjer og applikationer, jeg har eksperterfaring med:
-
-- Linux
-- Git, Unix Shell
-- C#, HTML, CSS, JavaScript
-- Unity
-
-Jeg er dygtig til:
-
-- C, Rust, python, POSIX Shell (scripting), Java
-- Docker, SSH
-
-Jeg har lidt erfaring med:
-
-- SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor
-- Blender
-
-## Interesser
-
-- Open source software
-- Linux-systemer
-- Performance og utilization
-- Softwaresikkerhed og privatliv
-- Minimalt brugergrænsefladedesign
-- Webtilgængelighed
-
-Andet: spiludvikling, vandring/camping, boksning, guitar.
-
-## Referencer
-
-Udleveres ved henvendelse.