L

Lukas Petrovicky

About

Detail

Solver project lead at Timefold with expertise in Java and AI.
Brno, South Moravian Region, Czechia

Timeline


work
Job
school
Education
folder
Project

Résumé


Jobs verified_user 0% verified
  • Timefold
    Lead Engineer, Timefold Solver
    Timefold
    Jun 2023 - Current (3 years 1 month)
    Leading a team of engineers responsible for the ongoing development and maintenance of Timefold Solver.
  • Red Hat
    Principal Software Engineer
    Red Hat
    Sep 2019 - Apr 2023 (3 years 8 months)
    Core developer for OptaPlanner, eventually promoted to Lead Engineer. Java, Artifical Intelligence, planning and scheduling, mathematical optimization, local search.
  • Red Hat
    Principal Quality Engineer
    Red Hat
    Sep 2017 - Aug 2019 (2 years)
    QE Lead for Red Hat Business Automation line of products. Responsible for the product and for a team of 20+ people.
  • Red Hat
    Expat
    Red Hat
    Jan 2014 - Dec 2014 (1 year)
    Year-long expat assignment to Red Hat's US engineering office. Placed on a cross-functional team to advance Continuous Integration implementations and proliferation within the company.
  • Red Hat
    Associate Manager, Quality Engineering
    Red Hat
    Dec 2013 - Aug 2017 (3 years 9 months)
    Manager and Team Lead, Quality Engineering. Products: - Red Hat JBoss BRMS, - Red Hat JBoss BPM Platform. Major focus areas: - Rules-based expert systems, CEP, EDA. - BPM. - Mathematical optimization, scheduling and planning, local search. Responsibilities: - Leading a team of quality engineers, - hiring, promotions, performance management, - designing and implementing various automated test suites, - designing and developing testing tools and utilities.
  • Red Hat
    Quality Engineer, JBoss BRMS
    Red Hat
    Jun 2008 - Nov 2013 (5 years 6 months)
    Team Lead, Quality Engineering for Red Hat JBoss BRMS. Major focus areas: - Rules-based expert systems, - CEP, - EDA. Also interested in: - ESB, - SOA, - Web Services and interoperability. Responsibilities: - Leading a team of quality engineers, - designing and implementing various automated test suites, - designing and developing testing tools and utilities. Technologies and tools: - Java Enterprise Edition (JMS, WS-*, JPA, JTA, JSP), - Maven - Groovy, - Hudson - and more...
  • S
    Lead developer
    Smartwill Systems
    May 2006 - May 2008 (2 years 1 month)
    - Design, implementation and deployment of web-based corporate information systems.
  • C
    Extension localization manager, developer and editor
    CZilla
    Nov 2004 - Nov 2006 (2 years 1 month)
    - Managing tens of localizers, collecting hundreds of localized extensions and publishing them on project's websites. - Web developer responsible for implementing and maintaining front-end of project website like news, products and extensions subsystems, RSS exports and much more. - One of official project representatives.
  • W
    Web developer
    Jan 2001 - Apr 2006 (5 years 4 months)
    Implementation of website engines supporting e-shops, product catalogs and such. Consisting mostly of PHP and MySQL, done mostly on contract while being a high-school student.
Education verified_user 0% verified
  • Masarykova univerzita Fakulta informatiky
    Bc, Computer Systems and Data Processing
    Masarykova univerzita Fakulta informatiky
    Jan 2005 - Dec 2010 (6 years)
  • M
    Bc, Computer Systems and Data Processing
    Masaryk University Brno Faculty of Social Studies
    Jan 2005 - Jan 2010 (5 years 1 month)
Projects (professional or personal) verified_user 0% verified
  • T
    Timefold Solver
    Jun 2023
  • O
    OptaPlanner
    Jul 2010 - Apr 2023 (12 years 10 months)
    OptaPlanner optimizes business resource usage. Every organization faces planning problems: provide products or services with a limited set of constrained resources (employees, assets, time and money). OptaPlanner optimizes such planning to do more business with less resources. OptaPlanner is a lightweight, embeddable planning engine written in Java™. It helps normal Java™ programmers solve constraint satisfaction problems efficiently. Under the hood, it combines optimization heuristics and metaheuristics with very efficient score calculation.
This is a community-created genome.