Lukáš Petrovický
Lead Engineer, Timefold Solver
Brno, Southeast, Czechia
Summary
🤩
Rockstar🎓
Top SchoolLukáš Petrovický is a Lead Engineer with 15+ years building and shipping Java-based AI and optimization software, currently driving development of the Timefold constraint solver. He combines deep expertise in planning, scheduling, local search and mathematical optimization with hands-on core contributions to projects like OptaPlanner and Drools. At Red Hat he led engineering and quality teams—at times managing 20+ people—bridging product ownership, automated testing and performance engineering. A pragmatic full-stack contributor, he’s moved quickstarts between Spring Boot and Quarkus, improved test infrastructure (JUnit5) and enhanced usability for rule engines and CLI tooling. Known for turning complex academic algorithms into production-grade code, he’s equally comfortable refactoring compiler internals as designing constraint providers for real-world rostering and timetabling problems.
15 years of coding experience
18 years of employment as a software developer
Bc., Computer Systems and Data Processing, Bc., Computer Systems and Data Processing at Masarykova univerzita Fakulta informatiky
English, Czech, German
Stackoverflow
4,950reputation
30kreached
249answers
7questions
java
top-5%
Github Skills (46)
parserator10
api-rest10
parser10
back-end-development10
api-design10
jbpm10
restful-api10
testing10
solver10
drools10
dmn10
java10
rule-engine10
javas10
junit10
Programming languages (16)
Github contributions (5)
apache/incubator-kie-optaplanner-quickstarts
Aug 2020 - Jan 2023
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:176 reviews, 22 commits, 135 PRs in 2 years 4 months
Contributions summary:Lukáš's initial commit involves the creation of a Spring Boot application for school timetabling, demonstrating a focus on Java-based backend development. Subsequent commits involve adding quickstarts, including maintenance scheduling and adopting AdoptOpenJDK, indicating work on infrastructure and build processes. Further contributions include refactoring constraint providers, and updating the project to align with Quarkus, suggesting proficiency in both Spring Boot and Quarkus frameworks.
casesoptimization-algorithmsgradlepythonoperations-research
apache/incubator-kie-optaplanner
Apr 2012 - Jan 2023
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Role in this project:Back-end Developer
Back-end DeveloperContributions:1346 reviews, 496 commits, 1380 PRs in 10 years 11 months
Contributions summary:Lukáš's commits indicate a focus on implementing core features and making adjustments to the core codebase of an AI constraint solver in Java. The commits involve modifying Java files related to score streams. The user appears to be involved in improving the system's functionality.
problemslocal-searchsimulated-annealingconstraint-programminglogistics
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.