Adam Stück
Linux System Administrator & Software Engineer
adam@adast.dk
🇩🇰 🇮🇪
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
©Springer-Verlag
EE
BibTex
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.