CIO & Co-Founder at MojeDostawy.pl - woda mineralna, soki, napoje
Warsaw, Masovian Voivodeship, Poland
Join Prog.AI to see contacts
Join Prog.AI to see contacts
Summary
👤
Senior
🎓
Top School
Marek Piotrów is a technology leader and serial founder with nine years of focused experience building IT and robotics solutions from concept to market. As CIO & Co-Founder of Low-Code Solutions Experts and CTO & Co-Founder of MojeDostawy.pl, he blends product-oriented engineering with hands-on operational leadership to deliver pragmatic, customer-facing systems. His background leading robotics departments at Hitmark—where he developed rapid industrial robot deployment methodologies and modular intelligent grippers—gives him a rare mix of software, automation and systems integration expertise. Equally comfortable negotiating with clients and mentoring engineers, he has repeatedly built teams and departments from scratch while implementing IT service and quality processes. Currently balancing a senior engineering role at Capgemini with startup leadership, he focuses on people-centered digital transformation where technology is the enabler, not the goal. Marek is also pursuing doctoral studies in management, signaling a continual drive to pair practical innovation with strategic insight.
9 years of coding experience
10 years of employment as a software developer
Informatyka, Informatyka at Politechnika Opolska
Master's degree, Informatyka w Zarządzaniu, Dobra, Master's degree, Informatyka w Zarządzaniu, Dobra at Wyższa Szkoła Zarządzania i Administracji w Opolu
Bachelor of Education (BEd), Fizyka Komputerowa, Dobry, Bachelor of Education (BEd), Fizyka Komputerowa, Dobry at Uniwersytet Opolski
PhD Student, Zarządzanie, PhD Student, Zarządzanie at Akademia Leona Koźmińskiego
Corporal Cadet, Military Information Systems Technology, Awarded, Corporal Cadet, Military Information Systems Technology, Awarded at Centrum Szkolenia Łączności i Informatyki w Zegrzu
UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instances and pseudo-Boolean ones. It incrementally uses COMiniSatPS by Chanseok Oh (2016) as an underlying SAT solver, but may be compiled with other MiniSat-like solvers. It was developed on the top of our PB-solver (called kp-minisatp) that was presented at Pragmatics of SAT 2018 and which is an extension of the well-known MiniSat+ solver. In its main configuration, UWrMaxSat applies an unsatisfiability-core-based OLL procedure and uses the kp-minisatp sorter-based pseudo-Boolean constraint encoding to translate new cardinality constraints into CNF.
Contributions:28 releases, 147 commits, 101 pushes in 5 years 9 months
cnfsat-solvermax-satmaxsatmaxsat-solver
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.