Tobias Markus is a team lead in full-custom design modelling and verification with 15 years of engineering and research experience, currently heading the Modelling & Verification group at Extoll in Mannheim. He combines a PhD in computer science and a foundation in electrical and computer engineering to bridge FPGA/SoC development, full-custom ASIC verification, firmware and toolchain automation. Tobias pairs academic rigor with hands-on systems work, contributing build and performance fixes to notable open-source projects (SuperTuxKart, Kodi), test automation for Mozilla Add-ons, and package/port work for Microsoft's vcpkg. That uncommon mix of silicon-level design knowledge and practical software/toolchain experience gives him a cross-domain perspective from hardware to user-facing applications. He also maintains SuperTux as a hobby project, reflecting a long-term commitment to community-driven software.
Contributions:1 review, 7 commits, 8 PRs in 2 years 11 months
Contributions summary:Tobias primarily contributed to the package management system's backend, adding and updating ports for various C++ libraries. They added new packages and updated existing ones, demonstrating a strong understanding of the build process, dependencies, and the structure of the vcpkg ecosystem. Their work included the integration of Meson and CMake build systems and the application of patches to facilitate compatibility.
Kodi is an award-winning free and open source home theater/media center software and entertainment hub for digital media. With its beautiful interface and powerful skinning engine, it's available for Android, BSD, Linux, macOS, iOS, tvOS and Windows.
Role in this project:
Back-end Developer
Contributions:4 reviews, 53 commits, 75 PRs in 1 year 4 months
Contributions summary:Tobias primarily focused on improving the performance of the Kodi media center software. Their contributions involved refactoring and optimizing code across multiple modules, including Android, core DLL loading, and add-ons. The changes were focused on addressing code quality issues identified by cppcheck, with the goal of improving performance.
pythonentertainmentc-plus-plusiosmultimedia
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.