# Adam Stück

**Linux System Administrator & Software Engineer**<br> 
adam@adast.dk<br>
:flag-dk: :flag-ie:

Passionate about open source software, usability, performance, privacy, and
minimal design. 

## Skills & Languages

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.

<!-- 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 -->

## Experience

|Title|Company|Duration|
|-----|-------|--------|
|Junior Software Engineer|Sky Labs Aalborg|2023-Now|
|Student Programmer|E-Komplet A/S|2020-2023|
|Software Developer|OK Snacks A/S|2019|
|Junior Business Analyst|ADEC Arise|2017|
|Work Placement|ADEC Arise|2015|

<!-- ### 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

|Institution|Program|Completion|
|-----------|-------|------|
|Aalborg University|Computer Science|2023|

<!-- ### 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)
[©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs)
[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) 

<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

<!-- ## 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> -->

## Interests

- Open source software
- Web accessibility
- Performance and utilization
- Software security and privacy
- Minimal user interface design
- Linux systems

Other: sailing, hiking/camping, permaculture, solarpunk, game dev, guitar.

## References

Available upon request.