Herbert Jordan
Research And Development Scientist at PH3 GmbH
Switzerland
Summary
🤩
Rockstar🎓
Top SchoolHerbert Jordan is an R&D scientist and seasoned software engineer with 15 years of experience bridging academic research and industry productization, currently leading research efforts at Sonic Labs while serving as CSO at PH3 GmbH. He holds a PhD in Computer Science from Universität Innsbruck and has driven high-performance program analysis work at Oracle and Google, including development of fast Datalog engines and production-grade systems. Herbert contributes to core compiler and analysis tooling—his open-source work on the Soufflé Datalog compiler improved back-end semantics and test automation—demonstrating attention to both foundational algorithms and pragmatic engineering. Comfortable moving between deep research and hands-on implementation, he has coordinated large EU research projects and repeatedly translated formal methods into scalable software solutions.
15 years of coding experience
7 years of employment as a software developer
Wirtschaftsingenieurwesen, Wirtschaftsingenieurwesen at HTL Innsbruck AnichstrasseDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Universität Innsbruck
Github Skills (11)
translator10
translators10
datalog10
logic-programming10
flet10
ff10
testing9
test-automation9
cprogramming-language9
c-language9
static-code-analysis8
Programming languages (5)
Github contributions (5)
souffle-lang/souffle
Mar 2016 - Mar 2020
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:92 commits, 41 PRs, 13 pushes in 4 years
Contributions summary:Herbert primarily contributed to the Soufflé Datalog compiler's back-end development, specifically enhancing support for multiple head clauses and boolean structures within clauses. Their work included modifications to `AstClause.h`, `AstSemanticChecker.cpp`, and `CompiledRamTuple.h`, indicating a focus on core compiler functionality. The user also added and improved unit testing infrastructure, including test cases for the new features and improvements to test reporting.
logic-programminganalysesc-plus-plusc-programlogic
HerbertJordan/cpp_empty
Jun 2014 - Jul 2017
Contributions:9 commits, 3 pushes in 3 years 1 month
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.