Sven Hallberg
Software Development & Security Analysis at Freelance
Hamburg, Germany
Summary
👤
Senior🎓
Top SchoolSven Hallberg is a seasoned software developer and security analyst based in Hamburg with 20 years of experience bridging academic research and hands-on engineering. He combines a Diplom in Mathematics with roles ranging from AI lab programming and physical field simulation to research assistance at Hamburg University of Technology and a decade-plus freelancing practice focused on secure, reliable systems. Sven’s background spans embedded and applied research contexts as well as commercial software development, giving him a pragmatic approach to hard problems in crypto, security and simulation. Known for a dry sense of humor (and a Github bio that insists he’s “not really a dog”), he brings deep analytical rigor and curiosity to every project while favoring verifiable, auditable solutions.
20 years of coding experience
8 years of employment as a software developer
Diplom (Master-level degree), Mathematics, Diplom (Master-level degree), Mathematics at Universität Hamburg
German, English
Stackoverflow
11reputation
3kreached
1answer
0questions
Github Skills (27)
parser-combinators10
binary-format10
hammer9
parser8
coq8
dnp38
proof-assistant7
dependent-types7
errata7
theorem-proving7
context-free-grammar6
ipv46
algorithms6
iso5
python-modules5
Programming languages (8)
Github contributions (5)
pesco/traveller-errata
Feb 2022 - Jun 2026
Contributions:30 pushes, 1 branch in 4 years 4 months
pesco/hammer
Jan 2015 - Nov 2019
Contributions:57 pushes, 52 branches, 1 comment in 4 years 10 months
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.