Richard Comploi-taupe
Senior Research Scientist at Pioneers of Change
Vienna, Austria
Summary
👤
SeniorRichard Comploi-taupe is a Senior Research Scientist and R&D Project Manager at Siemens in Vienna with a PhD in computer science and about a decade of experience applying Knowledge Representation and Reasoning to industrial problems. He specializes in Answer Set Programming and Constraint Programming, translating formal methods into production-ready solutions for product configuration and smart manufacturing. Equally at home in research and practice, he teaches at IMC Krems and runs annual intensive personal-development trainings, signaling a strong commitment to mentorship and team-building. Known for logical problem-solving and workshop facilitation, he combines rigorous academic grounding with hands-on project leadership to drive innovation across cross-functional teams.
10 years of coding experience
Italian, English, German
Github Skills (28)
answer-set-programming10
system-programming10
solver10
logic-programming10
static-analysis9
copr9
java8
wallpaper8
constraint-programming7
constraint7
sat6
android5
live-wallpaper5
sat-solver5
muzei4
Programming languages (6)
Github contributions (5)
siemens/JMiniZinc
Dec 2015 - Oct 2020
JMiniZinc
Contributions:8 releases, 283 commits, 15 PRs in 4 years 10 months
java
siemens/OOASP
Aug 2022 - Dec 2024
Contributions:78 reviews, 42 PRs, 50 pushes in 2 years 4 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.