diff options
Diffstat (limited to 'dst/resume.html')
| -rw-r--r-- | dst/resume.html | 226 |
1 files changed, 0 insertions, 226 deletions
diff --git a/dst/resume.html b/dst/resume.html deleted file mode 100644 index a96f925..0000000 --- a/dst/resume.html +++ /dev/null @@ -1,226 +0,0 @@ -<!DOCTYPE html> -<html lang="en"> - <head> - <meta charset="UTF-8"> - <meta name="viewport" content="width=device-width, initial-scale=1.0"> - <title>Adam Stück</title> - <link rel="icon" type="image/x-icon" href="/favicon.ico"> - <link rel="alternate" type="application/rss+xml" title="" href='feed'> - <link rel="stylesheet" type="text/css" href="main.css"> - </head> - <body> - <header> - <nav> - <a href="/">Home</a><span> | </span> - <a href="/projects">Projects</a><span> | </span> - <a href="/services">Services</a><span> | </span> - <a href="/resume">Resume</a><span> | </span> - <a href="/uses">Uses</a><span> | </span> - <a href="/donate">Donate</a><span> | </span> - <a href="/rss.xml">RSS</a> - </nav> - </header><main> -<script type="text/javascript" language="javascript" src="js/showhide.js"></script> - -<h4 id="english-dansk-">[ English / <a href="/resume-da">Dansk</a> ]</h4> - -<h1 id="adam-stck">Adam Stück</h1> - -<p><strong>Student programmer / Hobbyist sysadmin</strong><br>Aalborg, Denmark<br>adam@adast.dk</p> - -<hr> - -<h2 id="experience">Experience</h2> - -<h3 id="linux-sysadmin-self-hosting-spare-time">Linux, Sysadmin, Self-hosting (spare time)</h3> - -<p><strong>2021-Now</strong> </p> - -<ul> -<li>Got hooked on Linux early 2021</li> -<li>Self-hosting some <a href="/services">services</a> on Raspberry Pi, later VPS</li> -<li>Started building my personal platform 😎</li> -<li>Linux, SSH, Unix Shell, Git, POSIX scripting</li> -<li>Docker, DNS, Certbot, Web Servers, Firewalls, VPNs</li> -<li>Countless command line utilities</li> -</ul> - -<h3 id="student-programmer-at-e-komplet">Student Programmer at E-Komplet</h3> - -<p><strong>2020-Now</strong> / Aalborg, Denmark <small>On-site & remote</small></p> - -<ul> -<li>Full stack consultant for E-Komplet client</li> -<li>ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML</li> -</ul> - -<h3 id="software-developer-at-ok-snacks-as">Software Developer at OK Snacks A/S</h3> - -<p><strong>August 2019</strong> / Ikast-Brande, Denmark </p> - -<ul> -<li>Development of an Excel system to track spare parts in stock for production machines</li> -<li>Microsoft Excel, VBA</li> -</ul> - -<h3 id="junior-business-analyst-at-arise">Junior Business Analyst at Arise</h3> - -<p><strong>June 2017 - July 2017</strong> / Limerick, Ireland </p> - -<ul> -<li>Organization of data in Excel</li> -<li>Automation of Excel tasks using VBA</li> -<li>Development of web apps to facilitate some call center tasks </li> -<li>Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML</li> -</ul> - -<h3 id="work-placement-at-arise">Work Placement at Arise</h3> - -<p><strong>2015</strong> / Limerick, Ireland </p> - -<ul> -<li>2-week school internship in the administration department</li> -<li>Some Excel automation, including generation of working schedules</li> -<li>Learned how a call center operates</li> -<li>General office duties</li> -<li>Microsoft Excel, VBA</li> -</ul> - -<h3 id="coding-web-dev-game-dev-spare-time">Coding, Web Dev, Game Dev (spare time)</h3> - -<p><strong>2014-Now</strong> </p> - -<ul> -<li>Started learning programming with JavaScript</li> -<li>Got into web development, built many personal websites for fun</li> -<li>Started learning game development with GameMaker, and later Unity</li> -<li>Improved at JavaScript and learned C# by using Unity</li> -<li>Started developing <a href="https://arena.adast.dk">arena</a>, my multiplayer Quake-like FPS game</li> -<li>JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git</li> -</ul> - -<h2 id="education">Education</h2> - -<h3 id="aalborg-university">Aalborg University</h3> - -<p><strong>2019-2023</strong> / Aalborg, Denmark</p> - -<ul> -<li>Bachelors Degree in Computer Science</li> -</ul> - -<h2 id="publications">Publications</h2> - -<p>[1] <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br> -by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, <strong>A.M. Stück</strong>, S. Sørensen<br> -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.<br> -<a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a> -<small><a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a></small> -  <a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a> -  <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> -  <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a></p> - -<div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration -has a significant impact on reachability analysis in explicit model checking -and existing tools use several variants of search heuristics and random walks -in order to overcome the state-space explosion problem. We contribute with a -novel approach based on a random search strategy, where actions are assigned -dynamically (on-the-fly) updated potencies, changing according to the -variations of a heuristic distance to the goal configuration as encountered -during the state-space search. We implement our general idea into a Petri net -model checker TAPAAL and document its efficiency on a large benchmark of Petri -net models from the annual Model Checking Contest. The experiments show that -our heuristic search outperforms the standard search approaches in multiple -metrics and that it constitutes a worthy addition to the portfolio of classical -search strategies. </div> - -<h2 id="competitions">Competitions</h2> - -<ul> -<li>2022: Senior Qualifier in the Danish Cyber Championships</li> -<li>2020: Participated in Create Jam</li> -</ul> - -<h2 id="languages">Languages</h2> - -<style> -dl { - margin:1rem; - display:grid; - grid-template-columns:auto 1fr; - grid-gap:.2rem 1rem; -} -dl dt { - font-size: .9rem; - font-weight: 700; -} -dl dd:not(:last-child) { - margin-bottom: .3rem; -} -</style> - -<dl class="languages"> -<dt>English</dt> -<dd>Native writing and speaking</dd> -<dt>Danish</dt> -<dd>Fluent writing and speaking</dd> -<dt>German</dt> -<dd>Rusty</dd> -<dt>Irish</dt> -<dd>Rusty</dd> -</dl> - -<h2 id="tools">Tools</h2> - -<p>A selection of tools and applications I have expert experience using:</p> - -<ul> -<li>Linux</li> -<li>Git, Unix Shell</li> -<li>C#, HTML, CSS, JavaScript</li> -<li>Unity</li> -</ul> - -<p>I’m proficient with:</p> - -<ul> -<li>C, Rust, python, POSIX Shell (scripting), Java</li> -<li>Docker, SSH</li> -</ul> - -<p>I have some experience with:</p> - -<ul> -<li>SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor</li> -<li>Blender</li> -</ul> - -<h2 id="interests">Interests</h2> - -<ul> -<li>Open source software</li> -<li>Linux systems</li> -<li>Performance and utilization</li> -<li>Software security and privacy</li> -<li>Minimal user interface design</li> -<li>Web accessibility</li> -</ul> - -<p>Other: game dev, hiking/camping, boxing, guitar.</p> - -<h2 id="references">References</h2> - -<p>Available upon request.</p> -<footer role="contentinfo"> - - <span><a href="#">↑ Back to Top</a></span><br><br> - <small> - Built with <a href="https://rgz.ee/ssg.html">ssg</a>.<br> - Maintained with ♥ for the web. <br> - The content for this site is <a href="https://creativecommons.org/licenses/by-sa/4.0/">CC-BY-SA</a>.<br> - The <a href="https://git.sr.ht/~adamski/adast.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. - </small> -</footer> -</main> -</body> -</html> |