# Adam Stück **Linux System Administrator & Software Engineer**
adam@adast.dk
: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. ## 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| ## Education |Institution|Program|Completion| |-----------|-------|------| |Aalborg University|Computer Science|2023| ## Publications 1: **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**
by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen
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.
[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) ## Competitions * 2022: Senior Qualifier in the Danish Cyber Championships ## 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.