Benjamin Kaufmann
Senior Research Software Engineer at Potassco Solutions
Berlin, Germany
Summary
👤
Senior🎓
Top SchoolBenjamin Kaufmann is a Senior Research Software Engineer in Berlin with 13 years of experience blending industrial C++ product development and academic AI research in Knowledge Representation and Reasoning. He transitioned from postdoctoral work on Boolean constraint solving and highly efficient search-based reasoning systems to building production-grade streaming software stacks for WiFi speakers, and now contributes to Potassco Solutions. Comfortable moving between deep algorithmic problems and pragmatic engineering, he’s proven at turning research-grade solvers into robust, performant implementations. His background includes a Dr. rer. nat. in Computer Science from the University of Potsdam and a long history of optimizing search and SAT/ASP tooling. Not obviously visible from titles alone, he bridges the gap between theorem-driven research and low-level systems engineering, making him adept at performance-critical code and architecture.
13 years of coding experience
16 years of employment as a software developer
Dr. rer. nat Computer Science - Knowledge Representation and Reasoning, Dr. rer. nat Computer Science - Knowledge Representation and Reasoning at University of Potsdam
German, English
Github Skills (69)
answer-set-programming10
rubiks-cube10
solver10
bluetooth10
cpp10
polymorphism10
bluez10
logic10
crossword10
stateless10
verification10
logic-programming10
sat-solver10
declarative-programming10
jansson10
Programming languages (5)
Github contributions (5)
potassco/clasp
Nov 2014 - Sep 2022
⚙️ A conflict-driven nogood learning answer set solver
Contributions:14 releases, 635 commits, 39 PRs in 7 years 11 months
polymorphismanswerstatelesscrosswordsat
potassco/libpotassco
Sep 2016 - Jan 2022
🧱 A utility library used by various potassco projects
Contributions:1 review, 150 commits, 10 PRs in 5 years 5 months
utility-librarynim-langcross-platform
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.