diff options
Diffstat (limited to 'build/resume-da/index.html')
| -rw-r--r-- | build/resume-da/index.html | 226 |
1 files changed, 226 insertions, 0 deletions
diff --git a/build/resume-da/index.html b/build/resume-da/index.html new file mode 100644 index 0000000..be9394b --- /dev/null +++ b/build/resume-da/index.html @@ -0,0 +1,226 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Adam Stück</title> + <link rel="icon" type="image/x-icon" href="/favicon.ico"> + <link rel="alternate" type="application/rss+xml" title="" href='feed'> + <link rel="stylesheet" type="text/css" href="/main.css"> + </head> + <body> + <header> + <nav> + <a href="/">Home</a><span> | </span> + <a href="/projects">Projects</a><span> | </span> + <a href="/services">Services</a><span> | </span> + <a href="/resume">Resume</a><span> | </span> + <a href="/uses">Uses</a><span> | </span> + <a href="/donate">Donate</a><span> | </span> + <a href="/rss.xml">RSS</a> + </nav> + </header><main> +<script type="text/javascript" language="javascript" src="js/showhide.js"></script> + +<h4 id="english-dansk-">[ <a href="/resume">English</a> / Dansk ]</h4> + +<h1 id="adam-stck">Adam Stück</h1> + +<p><strong>Studenterprogrammør / Fritids sysadmin</strong><br>Aalborg, Danmark<br>adam@adast.dk</p> + +<hr> + +<h2 id="erfaring">Erfaring</h2> + +<h3 id="linux-sysadmin-self-hosting-fritid">Linux, Sysadmin, Self-hosting (fritid)</h3> + +<p><strong>2021-nu</strong> </p> + +<ul> +<li>Jeg blev hooked på Linux i begyndelsen af 2021</li> +<li>Prøvede selv at hoste nogle <a href="/services">tjenester</a> på Raspberry Pi, senere VPS</li> +<li>Begyndte at bygge min personlige platform 😎</li> +<li>Linux, SSH, Unix Shell, Git, POSIX scripting</li> +<li>Docker, DNS, Certbot, Web Servers, Firewalls, VPNs</li> +<li>Utallige command line utilities</li> +</ul> + +<h3 id="studenterprogrammr-hos-e-komplet">Studenterprogrammør hos E-Komplet</h3> + +<p><strong>2020-nu</strong> / Aalborg, Danmark <small>On-site & remote</small></p> + +<ul> +<li>Full stack konsulent for E-Komplet klient</li> +<li>ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML</li> +</ul> + +<h3 id="softwareudvikler-hos-ok-snacks-as">Softwareudvikler hos OK Snacks A/S</h3> + +<p><strong>august 2019</strong> / Ikast-Brande, Danmark </p> + +<ul> +<li>Udvikling af et Excel-system til at holde styr på reservedele på lager til produktionsmaskiner</li> +<li>Microsoft Excel, VBA</li> +</ul> + +<h3 id="junior-business-analyst-hos-arise">Junior Business Analyst hos Arise</h3> + +<p><strong>juni 2017 - juli 2017</strong> / Limerick, Irland </p> + +<ul> +<li>Organisering af data i Excel</li> +<li>Automatisering af Excel-opgaver med VBA</li> +<li>Udvikling af web apps for at lette nogle callcenter-opgaver </li> +<li>Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML</li> +</ul> + +<h3 id="skolepraktik-hos-arise">Skolepraktik hos Arise</h3> + +<p><strong>2015</strong> / Limerick, Irland </p> + +<ul> +<li>To ugers skolepraktik i administrationsafdelingen</li> +<li>Excel-programmering som bl.a generering af arbejdstidsplaner</li> +<li>Jeg lærte, hvordan et call center fungerer</li> +<li>Generelle kontor opgaver</li> +<li>Microsoft Excel, VBA</li> +</ul> + +<h3 id="coding-web-dev-game-dev-fritid">Coding, Web Dev, Game Dev (fritid)</h3> + +<p><strong>2014-nu</strong> </p> + +<ul> +<li>Begyndte at lære programmering med JavaScript</li> +<li>Kom ind i webudvikling, byggede mange personlige hjemmesider for sjov</li> +<li>Begyndte at lære spiludvikling med GameMaker og senere Unity</li> +<li>Forbedret JavaScript og lært C# ved at bruge Unity</li> +<li>Begyndte at udvikle <a href="https://arena.adast.dk">arena</a>, mit multiplayer Quake-lignende FPS spil</li> +<li>JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git</li> +</ul> + +<h2 id="uddannelse">Uddannelse</h2> + +<h3 id="aalborg-universitet">Aalborg Universitet</h3> + +<p><strong>2019-2023</strong> / Aalborg, Danmark</p> + +<ul> +<li>Bachelor i Datalogi</li> +</ul> + +<h2 id="publikationer">Publikationer</h2> + +<p>[1] <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br> +by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, <strong>A.M. Stück</strong>, 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> +<a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a> +<small><a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a></small> +  <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> +  <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a></p> + +<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> + +<h2 id="konkurrencer">Konkurrencer</h2> + +<ul> +<li>2022: Senior Qualifier i De Danske Cybermesterskaber</li> +<li>2020: Deltog i Create Jam</li> +</ul> + +<h2 id="sprog">Sprog</h2> + +<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> + +<h2 id="kompetencer">Kompetencer</h2> + +<p>Værktøjer og applikationer, jeg har eksperterfaring med:</p> + +<ul> +<li>Linux</li> +<li>Git, Unix Shell</li> +<li>C#, HTML, CSS, JavaScript</li> +<li>Unity</li> +</ul> + +<p>Jeg er dygtig til:</p> + +<ul> +<li>C, Rust, python, POSIX Shell (scripting), Java</li> +<li>Docker, SSH</li> +</ul> + +<p>Jeg har lidt erfaring med:</p> + +<ul> +<li>SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor</li> +<li>Blender</li> +</ul> + +<h2 id="interesser">Interesser</h2> + +<ul> +<li>Open source software</li> +<li>Linux-systemer</li> +<li>Performance og utilization</li> +<li>Softwaresikkerhed og privatliv</li> +<li>Minimalt brugergrænsefladedesign</li> +<li>Webtilgængelighed</li> +</ul> + +<p>Andet: spiludvikling, vandring/camping, boksning, guitar.</p> + +<h2 id="referencer">Referencer</h2> + +<p>Udleveres ved henvendelse.</p> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</a>.<br> + Maintained with ♥ for the web. <br> + The content for this site is <a href="https://creativecommons.org/licenses/by-sa/4.0/">CC-BY-SA</a>.<br> + The <a href="https://git.sr.ht/~adamski/adast.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> |