1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
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>
|
