Andreas Humenberger
Senior Software Engineer II at Dynatrace
Austria
Summary
👤
Senior🎓
Top SchoolAndreas Humenberger is a Senior Software Engineer II with 12 years of experience blending research-grade rigor and production engineering, now building observability at Dynatrace. He holds a PhD in Computer Science from TU Wien and has led core development of source-code analysis tooling—covering symbolic execution, linting, code repair, LSP editor integration and LLM-driven features—at Symflower. His background spans systems-level C/C++ and Objective-C work, formal methods and AI research, and practical implementations in Julia and OCaml, enabling him to move innovations from papers into shipping products. An active open-source contributor, he extended the fast C++ symbolic math library SymEngine with new visitors and C wrappers, reflecting a strong focus on correctness and maintainability. Known for fast learning, clear communication and architectural thinking, he often bridges academic research and developer-facing tooling. Based in Austria, he combines deep mathematical logic roots with hands-on engineering to tackle complex code-analysis and verification problems.
12 years of coding experience
14 years of employment as a software developer
Vienna University of Technology
Github Skills (12)
c1710
mathematics10
symbolic-computation10
computer-algebra10
c-language10
cprogramming-language10
c1110
math10
computer-algebra-system10
algorithm9
algorithms9
testing8
Programming languages (8)
Github contributions (5)
symengine/symengine
Feb 2018 - Mar 2019
SymEngine is a fast symbolic manipulation library, written in C++
Role in this project:
Back-end Developer
Back-end DeveloperContributions:25 commits, 4 PRs, 7 comments in 1 year
Contributions summary:Andreas primarily contributed to the SymEngine library by implementing and extending functionalities related to symbolic manipulation. Their work includes the addition of a `FunctionSymbolsVisitor` class and its associated methods, as well as adding C wrapper functions for new features like `coeff` and `function_symbols`, and for existing features like `get_name` of a `FunctionSymbol`, and for `linsolve` and `solve_poly`. Furthermore, the user addressed code formatting issues and removed trailing whitespaces, showing a commitment to code quality and maintainability.
manipulationmathmanipulation-librarycpptheorem-proving
ahumenberger/Aligator.jl
Dec 2017 - Nov 2020
Julia package for loop invariant generation
Contributions:165 commits, 83 pushes, 6 branches in 2 years 11 months
julia-packageinvariantloopjuliafor-loop
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.