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
|
<!doctype html>
<html lang="en" id="top">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="icon" href="data:,">
<title>Adam Stück</title>
<link href="https://adast.dk/atom.xml" type="application/atom+xml" rel="alternate" title="Atom feed for blog posts" />
<style>*{box-sizing:border-box;}body{font-family:sans-serif;margin:0 auto;max-width:650px;padding:1rem;}img{max-width:100%;}pre{overflow:auto;}table{text-align:left;width:100%;}</style>
</head>
<nav>
<a href="#menu">Menu ↓</a>
</nav>
<main>
<h1>Adam Stück</h1>
<p><strong>Linux System Administrator & Software Engineer</strong><br>
adam@adast.dk<br>
:flag-dk: :flag-ie:</p>
<p>Passionate about open source software, usability, performance, privacy, and
minimal design. </p>
<h2>Skills & Languages</h2>
<p>Core tools are C#, HTML, CSS, JavaScript & the command line. Currently improving my skills
as a sysadmin and learning the Godot game engine. I also enjoy tinkering with
basic shell scripts and Unix systems.</p>
<!-- TODO: compress this section to a couple of sentences
A selection of tools and applications I have expert experience using:
- Linux
- Git, Unix Shell
- C#, HTML, CSS, JavaScript
- Unity
I'm proficient with:
- C, Rust, python, POSIX Shell (scripting), Java
- Docker, SSH
I have some experience with:
- SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor
- Blender -->
<h2>Experience</h2>
<table>
<tr><th>Title</th><th>Company</th><th>Duration</th></tr>
<tr><td>Junior Software Engineer</td><td>Sky Labs Aalborg</td><td>2023-Now</td></tr>
<tr><td>Student Programmer</td><td>E-Komplet A/S</td><td>2020-2023</td></tr>
<tr><td>Software Developer</td><td>OK Snacks A/S</td><td>2019</td></tr>
<tr><td>Junior Business Analyst</td><td>ADEC Arise</td><td>2017</td></tr>
<tr><td>Work Placement</td><td>ADEC Arise</td><td>2015</td></tr>
</table>
<!-- ### Linux, Sysadmin, Self-hosting (spare time)
**2021-Now**
* Got hooked on Linux early 2021
* Self-hosting some [services](/services) on Raspberry Pi, later VPS
* Started building my personal platform 😎
* Linux, SSH, Unix Shell, Git, POSIX scripting
* Docker, DNS, Certbot, Web Servers, Firewalls, VPNs
* Countless command line utilities
### Student Programmer at E-Komplet
**2020-2023** / Aalborg, Denmark <small>On-site & remote</small>
* Full stack consultant for E-Komplet client
* ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML
### Software Developer at OK Snacks A/S
**August 2019** / Ikast-Brande, Denmark
* Development of an Excel system to track spare parts in stock for production machines
* Microsoft Excel, VBA
### Junior Business Analyst at Arise
**June 2017 - July 2017** / Limerick, Ireland
* Organization of data in Excel
* Automation of Excel tasks using VBA
* Development of web apps to facilitate some call center tasks
* Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML
### Work Placement at Arise
**2015** / Limerick, Ireland
* 2-week school internship in the administration department
* Some Excel automation, including generation of working schedules
* Learned how a call center operates
* General office duties
* Microsoft Excel, VBA
### Coding, Web Dev, Game Dev (spare time)
**2014-Now**
* Started learning programming with JavaScript
* Got into web development, built many personal websites for fun
* Started learning game development with GameMaker, and later Unity
* Improved at JavaScript and learned C# by using Unity
* Started developing [arena](https://arena.adast.dk), my multiplayer Quake-like FPS game
* JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git -->
<h2>Education</h2>
<table>
<tr><th>Institution</th><th>Program</th><th>Completion</th></tr>
<tr><td>Aalborg University</td><td>Computer Science</td><td>2023</td></tr>
</table>
<!-- ### Aalborg University
**2019-2023** / Aalborg, Denmark
* Bachelors Degree in Computer Science -->
<h2>Publications</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>
<a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a>
<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> </p>
<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></p>
<h2>Competitions</h2>
<ul>
<li>2022: Senior Qualifier in the Danish Cyber Championships</li>
</ul>
<!-- ## Languages
<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>English</dt>
<dd>Native writing and speaking</dd>
<dt>Danish</dt>
<dd>Fluent writing and speaking</dd>
<dt>German</dt>
<dd>Rusty</dd>
<dt>Irish</dt>
<dd>Rusty</dd>
</dl> -->
<h2>Interests</h2>
<ul>
<li>Open source software</li>
<li>Web accessibility</li>
<li>Performance and utilization</li>
<li>Software security and privacy</li>
<li>Minimal user interface design</li>
<li>Linux systems</li>
</ul>
<p>Other: sailing, hiking/camping, permaculture, solarpunk, game dev, guitar.</p>
<h2>References</h2>
<p>Available upon request.</p>
<footer role="contentinfo">
<hr>
<h3 id="menu">Menu Navigation</h3>
<ul>
<li><a href="/">Home</a></li>
<li><a href="/projects">Projects</a></li>
<li><a href="/services">Services</a></li>
<li><a href="/uses">Uses</a></li>
<li><a href="/resume">Resume</a></li>
<li><a href="/colophon">Colophon</a></li>
<li><a href="/now">Now</a></li>
<li><a href="/contact">Contact</a></li>
<li><a href="/donate">Donate</a></li>
<li><a href="/atom.xml">RSS</a></li>
<li><a href="#top">↑ Top of the page</a></li>
</ul>
<small>
Built with <a href="https://git.sr.ht/~bt/barf">barf</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.dk">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.dk/tree/main/item/LICENSE">MIT</a>.
</small>
</footer>
|
