From 7b00e8ec79d802f6d448dc14f7b196be3361bcd4 Mon Sep 17 00:00:00 2001 From: Adam Stück Date: Thu, 28 Dec 2023 23:27:05 +0100 Subject: drop build/ --- build/resume/index.html | 204 ------------------------------------------------ 1 file changed, 204 deletions(-) delete mode 100644 build/resume/index.html (limited to 'build/resume') diff --git a/build/resume/index.html b/build/resume/index.html deleted file mode 100644 index 6e12c0e..0000000 --- a/build/resume/index.html +++ /dev/null @@ -1,204 +0,0 @@ - - - - - - - - Adam Stück - - - - - - -
-

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

- - - - - - - -
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.

- -- cgit v1.2.3-70-g09d2