diff options
author | Adam Stück <adam@adast.dk> | 2023-05-22 17:31:07 +0200 |
---|---|---|
committer | Adam Stück <adam@adast.dk> | 2023-05-22 17:31:07 +0200 |
commit | 775e69fea981b1cec03cc8206d69abed9b824df5 (patch) | |
tree | b046516be42400c6fedf8334fb6e7dd284fe6c3f /src/resume-da/index.md | |
parent | 288c92e992c5569d8e98d6ee8e926398a2f77069 (diff) |
New file structure
index.html
some-post/
--> index.html
Diffstat (limited to 'src/resume-da/index.md')
-rw-r--r-- | src/resume-da/index.md | 167 |
1 files changed, 167 insertions, 0 deletions
diff --git a/src/resume-da/index.md b/src/resume-da/index.md new file mode 100644 index 0000000..9d8705b --- /dev/null +++ b/src/resume-da/index.md @@ -0,0 +1,167 @@ +<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> + [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) + <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. |