Sven Hallberg

Software Development & Security Analysis at Freelance

Hamburg, Germany
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Sven 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.
code19 years of coding experience
job8 years of employment as a software developer
bookDiplom (Master-level degree), Mathematics, Diplom (Master-level degree), Mathematics at Universität Hamburg
languagesGerman, English
stackoverflow-logo

Stackoverflow

Stats
11reputation
3kreached
1answer
0questions
github-logo-circle

Github Skills (53)

parser10
parser-combinators10
peg10
parsing10
parser-generator10
hammer9
mathematical9
dnp39
executable8
theorem-proving8
proofs8
sat-solver8
adapter8
bus8
coq8

Programming languages (7)

ShellC++CRustOCamlHaskellPython

Github contributions (5)

github-logo-circle
pesco/hammer

Jan 2015 - Nov 2019

Contributions:57 pushes, 52 branches, 1 comment in 4 years 10 months
pesco/dnp3

Feb 2015 - Mar 2016

Contributions:186 commits, 2 PRs, 65 pushes in 1 year 1 month
hammerdnp3parser
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.
Request Free Trial
Sven Hallberg - Software Development & Security Analysis at Freelance