aboutsummaryrefslogtreecommitdiff
path: root/build/resume-da/index.html
diff options
context:
space:
mode:
authorAdam Stück <adam@adast.dk>2023-11-09 20:00:16 +0100
committerAdam Stück <adam@adast.dk>2023-11-09 20:00:16 +0100
commitfbb9bf9877318c084137525de76877033fb627b4 (patch)
tree418005dade9b93be6104f034be6d5c25157032f1 /build/resume-da/index.html
parent095f88196d40bf524b241e0c36803f1513bc38c4 (diff)
drop favicon
Diffstat (limited to 'build/resume-da/index.html')
-rw-r--r--build/resume-da/index.html50
1 files changed, 0 insertions, 50 deletions
diff --git a/build/resume-da/index.html b/build/resume-da/index.html
index 0cfd331..7df8bcf 100644
--- a/build/resume-da/index.html
+++ b/build/resume-da/index.html
@@ -4,7 +4,6 @@
<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>
@@ -21,25 +20,15 @@
</nav>
</header><main>
<script type="text/javascript" language="javascript" src="js/showhide.js"></script>
-
<h4 id="english-dansk-">[ <a href="/resume">English</a> &#47; Dansk ]</h4>
-
<h1 id="adam-stck">Adam Stück</h1>
-
<p><strong>Junior Software Ingeniør &#38; Fritids Sysadmin</strong><br>Aalborg, Danmark<br>adam@adast.dk</p>
-
<hr>
-
<h2 id="erfaring">Erfaring</h2>
-
<h3 id="junior-software-ingenir-hos-sky-labs-aalborg">Junior Software Ingeniør hos Sky Labs Aalborg</h3>
-
<p><strong>2023-nu</strong> &#47; Aalborg, Danmark </p>
-
<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>
@@ -48,40 +37,28 @@
<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-2023</strong> &#47; Aalborg, Danmark <small>On-site &#38; 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&#47;S</h3>
-
<p><strong>august 2019</strong> &#47; 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> &#47; 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> &#47; Limerick, Irland </p>
-
<ul>
<li>To ugers skolepraktik i administrationsafdelingen</li>
<li>Excel-programmering som bl.a generering af arbejdstidsplaner</li>
@@ -89,11 +66,8 @@
<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>
@@ -102,19 +76,13 @@
<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> &#47; 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&#8217;23), volume 13872 of LNCS, pages 180&#8211;187, Springer-Verlag, 2023.<br>
@@ -123,7 +91,6 @@ In Proceedings of the 29th International SPIN Symposium on Model Checking of Sof
&#160; <a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a>
&#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a>
&#160; <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
@@ -137,16 +104,12 @@ 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;
@@ -162,7 +125,6 @@ dl dd:not(:last-child) {
margin-bottom: .3rem;
}
</style>
-
<dl class="languages">
<dt>Engelsk</dt>
<dd>Flydende skriftligt og mundtligt</dd>
@@ -173,34 +135,25 @@ dl dd:not(:last-child) {
<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>
@@ -209,11 +162,8 @@ dl dd:not(:last-child) {
<li>Minimalt brugergrænsefladedesign</li>
<li>Webtilgængelighed</li>
</ul>
-
<p>Andet: spiludvikling, vandring&#47;camping, boksning, guitar.</p>
-
<h2 id="referencer">Referencer</h2>
-
<p>Udleveres ved henvendelse.</p>
<footer role="contentinfo">