StefanĀ Hetzl
Associate Professor
Austria
Summary
š¤©
RockstarStefan Hetzl is an Associate Professor at the Institute of Discrete Mathematics and Geometry, with 14 years of professional experience based in Austria. He combines deep academic expertise with ongoing research and teaching at Vienna University of Technology since 2017, focusing on discrete mathematics and geometric problems. Known for bridging theoretical insight and practical problem-solving, he contributes to advancing formal foundations that underpin computational approaches. His steady academic trajectory suggests strong mentorship and collaboration within mathematical and computational communities. Colleagues can expect a methodical thinker who brings rigor and clarity to complex, abstract challenges.
14 years of coding experience
Github Skills (20)
tla10
architecture10
in-progress10
proofs10
theory10
tactics10
sat-solver10
sat10
proof-assistant9
computer-algebra-system9
scala9
proof9
mathematics9
z39
coq9
Programming languages (3)
Github contributions (5)
shetzl/equational_theories
Sep 2024 - Oct 2024
Contributions:7 pushes, 5 branches in 4 days
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.