[ English / Dansk ]

Adam Stück

Studenterprogrammør / Fritids sysadmin
Aalborg, Danmark
adam@adast.dk


Erfaring

Linux, Sysadmin, Self-hosting (fritid)

2021-nu

Studenterprogrammør hos E-Komplet

2020-nu / Aalborg, Danmark On-site & remote

Softwareudvikler hos OK Snacks A/S

august 2019 / Ikast-Brande, Danmark

Junior Business Analyst hos Arise

juni 2017 - juli 2017 / Limerick, Irland

Skolepraktik hos Arise

2015 / Limerick, Irland

Coding, Web Dev, Game Dev (fritid)

2014-nu

Uddannelse

Aalborg Universitet

2019-2023 / Aalborg, Danmark

Publikationer

[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

Konkurrencer

Sprog

Engelsk
Flydende skriftligt og mundtligt
Dansk
Flydende skriftligt og mundtligt
Tysk
Begrænset arbejdskompetence
Irsk (Gælisk)
Begrænset arbejdskompetence

Kompetencer

Værktøjer og applikationer, jeg har eksperterfaring med:

Jeg er dygtig til:

Jeg har lidt erfaring med:

Interesser

Andet: spiludvikling, vandring/camping, boksning, guitar.

Referencer

Udleveres ved henvendelse.