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

TitleCompanyDuration
Junior Software EngineerSky Labs Aalborg2023-Now
Student ProgrammerE-Komplet A/S2020-2023
Software DeveloperOK Snacks A/S2019
Junior Business AnalystADEC Arise2017
Work PlacementADEC Arise2015

Education

InstitutionProgramCompletion
Aalborg UniversityComputer Science2023

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

Interests

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

References

Available upon request.