Work Experience

• Aug 2019 –
  present

  Maintainer

  Rust Foundation

  Maintainer in the Rust Embedded Working Group

  • Rust
  • Embedded Systems
  • API Design
  • GitHub Actions
• Jun 2015 –
  present

  Maintainer

  Homebrew

  Maintainer of the open-source Homebrew project, with main focus on Homebrew Cask and the brew command itself.

  • Ruby
  • macOS
  • Package Management
  • GitHub Actions
  • Code-Review
• Mar 2023 –
  Oct 2023

  External Lecturer

  University of Innsbruck

  Lecturer for the “Operating Systems” proseminar of the Distributed and Parallel Systems group at the Department of Computer Science

  • C
  • Linux
  • Operating Systems
  • Shell Scripting
  • Teaching
• Mar 2022 –
  Oct 2022

  External Lecturer

  University of Innsbruck

  Lecturer for the “Operating Systems” proseminar of the Distributed and Parallel Systems group at the Department of Computer Science

  • C
  • Linux
  • Operating Systems
  • Shell Scripting
  • Teaching
• Mar 2021 –
  Oct 2021

  External Lecturer

  University of Innsbruck

  Lecturer for the “Operating Systems” proseminar of the Distributed and Parallel Systems group at the Department of Computer Science

  • C
  • Linux
  • Operating Systems
  • Shell Scripting
  • Teaching
• Jul 2018 –
  Aug 2018

  Student

  Google Summer of Code

  After the Homebrew Cask project was merged into the Homebrew project, almost the same download strategies were present for both formulae and casks. My task was to deduplicate them in order to reduce the maintainance burden moving forward.

  • Ruby
  • macOS
  • Package Management
• Jul 2017 –
  Aug 2017

  Web Developer

  holzweg GmbH

  • Ruby
  • JavaScript
  • PHP
• Sep 2014 –
  Jun 2015

  Civil Service

  Maschinenring Tirol

  Civil servant in area of administration/correspondence

• Jul 2014 –
  Aug 2014

  Intern

  Edition Tirol

  • Book Design
  • Graphic Design
• Jul 2013 –
  Aug 2013

  Intern

  Edition Tirol

  • Book Design
  • Graphic Design
• Jul 2012 –
  Aug 2012

  Intern

  P8 Marketing

  • Graphic Design
  • Public Relations
  • Web Design
• Jul 2011 –
  Aug 2011

  Intern

  P8 Marketing

  • Graphic Design
  • Public Relations
  • Web Design

Education

• Apr 2020 –
  Mar 2024

  Master of Science

  University of Innsbruck

  Computer Science

  • Compiler Construction
  • Formal Language and Automata Theory
  • Master's Seminar 1
  • Master's Seminar 2
  • Online Communication
  • Embedded Systems
  • Optimization Methods
  • Data Warehouse Systems
  • Computer Haptics
  • Natural Language Processing
  • Parallel Systems
  • Semantic Web
  • Advanced C++ Programming
  • Distributed Applications in the Edge-Cloud Continuum
• Sep 2015 –
  Mar 2020

  Bachelor of Science

  University of Innsbruck

  Computer Science

  • Introduction to Programming
  • Introduction to Practical Computer Science
  • Introduction to Technical Computer Science
  • Introduction to Theoretical Computer Science
  • Linear Algebra
  • Algorithms and Data Structures
  • Operating Systems
  • Discrete Mathematics
  • Programming Methodology
  • Analysis
  • Database Systems
  • Design of Software Systems
  • Functional Programming
  • Logic
  • Computer Graphics
  • Introduction to Autonomous and Intelligent Systems
  • Introduction to Scientific Working
  • Computer Networks and Internet Technology
  • Software Engineering and Project Management
  • Specialisation Seminar
  • Distributed Systems
  • Cyberlaw
  • Seminar with Bachelor's Thesis
  • Methods of Software and Data Engineering
  • Introduction to Computer Vision
  • Introduction to Parallel Computing and Parallel Algorithms
  • Information Theory and Cryptology
  • Concurrent Programming
  • Software Quality
  • Web Services
• Sep 2009 –
  Jun 2014

  A-Levels

  Business Academy Wörgl

  Specialisation Marketing English

  • Business Administration
  • Accounting
  • Computer Science and Office Management
  • Civic Education
  • National Economy
  • Project Management
  • Traning Company
  • Personality Development and Social Skills
  • History
  • Sciences
  • Mathematics
  • Geography

Skills

• Expert

  Rust

  • API Design
  • FFI
  • Internet of Things
  • Home Automation
  • Embedded Systems
  • Peripheral Drivers
• Expert

  Homebrew

  • Package Management
  • macOS
  • Continuous Integration (CI)
  • Open Source
  • GitHub Actions
  • Ruby
  • Git
• Expert

  Ruby

  • RuboCop
  • Homebrew
• Expert

  C

  • Linux
  • FFI
  • Embedded Software
  • Teaching
  • Make
• Intermediate

  KiCad

  • Printed Circuit Board (PCB) Design
• Proficient

  TypeScript

  • GitHub Actions
• Proficient

  JavaScript

• Intermediate

  Python

  • Ansible
  • Jupyter Notebook
• Intermediate

  C++

  • CMake
• Proficient

  Design

  • Book Design
  • Graphic Design
  • Web Design
  • Adobe Photoshop
  • Adobe Illustrator
  • Affinity Photo
  • Affinity Designer

Languages

Native

German

Native

Tyrolean Dialect

C2

English

B2

Italian