Jonas Werner
Softwareingenieur at Consileon Business Consultancy GmbH
Freiburg im Breisgau, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolJonas Werner is a pragmatic software engineer with nine years of experience, currently contributing to Consileon Business Consultancy from Freiburg im Breisgau. He combines hands-on C# and Microsoft Visual Studio skills with practical agile coaching, honed while tutoring software engineering students through simulated product orders. His academic background (MSc and BSc in Computer Science from Albert-Ludwigs-Universität Freiburg) underpins a methodical approach to evaluating software artifacts and delivering maintainable solutions. Known for enjoying puzzle-like problems, he brings curiosity and structured problem-solving to complex business software challenges.
9 years of coding experience
Master of Science - MS, Computer Science, 1.5, Master of Science - MS, Computer Science, 1.5 at Albert-Ludwigs-Universität Freiburg im BreisgauAbitur, Abitur at Scheffel-Gymnasium Bad Säckingen
German, English, French
Github Skills (11)
symbolic-execution10
abstract-interpretation10
verification10
tla10
reachability10
static-analysis10
automata10
python10
termination10
model-checking10
program-analysis10
Programming languages (1)
Github contributions (5)
JonasWerner/Looping-Q-VASRSs
Jul 2021 - Apr 2022
Contributions:149 pushes in 9 months
JonasWerner/master_of_Cegaar
Jan 2021 - Jul 2021
Contributions:29 pushes in 5 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.