[ English / Dansk ]

Adam Stück

Student programmer / Hobbyist sysadmin
Aalborg, Denmark
adam@adast.xyz


Experience

Linux, Sysadmin, Self-hosting (spare time)

2021-Now

Student Programmer at E-Komplet

2020-Now / Aalborg, Denmark On-site & remote

Software Developer at OK Snacks A/S

August 2019 / Ikast-Brande, Denmark

Junior Business Analyst at Arise

June 2017 - July 2017 / Limerick, Ireland

Work Placement at Arise

2015 / Limerick, Ireland

Coding, Web Dev, Game Dev (spare time)

2014-Now

Education

Aalborg University

2019-Now / Aalborg, Denmark

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   Abstract

Competitions

Languages

English
Native writing and speaking
Danish
Fluent writing and speaking
German
Rusty
Irish
Rusty

Tools

A selection of tools and applications I have expert experience using:

I’m proficient with:

I have some experience with:

Interests

Other: game dev, hiking/camping, boxing, running, guitar.

References

Available upon request.