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
|
<script type="text/javascript" language="javascript" src="js/showhide.js"></script>
#### [ English / [Dansk](/resume-da) ]
# Adam Stück
**Junior Software Engineer & Hobbyist Sysadmin**<br>Aalborg, Denmark<br>adam@adast.dk
<hr>
## Experience
### Junior Software Engineer at Sky Labs Aalborg
**2023-Now** / Aalborg, Denmark
### 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
## Education
### Aalborg University
**2019-2023** / Aalborg, Denmark
* Bachelors Degree in Computer Science
## Publications
[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>
## Competitions
* 2022: Senior Qualifier in the Danish Cyber Championships
* 2020: Participated in Create Jam
## 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>
## Tools
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
## Interests
- Open source software
- Linux systems
- Performance and utilization
- Software security and privacy
- Minimal user interface design
- Web accessibility
Other: game dev, hiking/camping, boxing, guitar.
## References
Available upon request.
|
