Denis Bueno
Process Engineer at Sonoco
São Paulo, Brazil
Summary
👤
Senior🎓
Top SchoolDenis Bueno is an experienced process engineer with 18 years in industrial projects, production and maintenance, primarily in large food multinationals such as Nestlé and Sonoco. He combines hands-on electrical engineering roots with advanced project management (PMP) and Lean Six Sigma Green Belt credentials to deliver automation, MES and Industry 4.0 solutions that reduce costs and improve OEE. Notable achievements include leading AGV/AMR deployments with a 2.5-year payback, AI vision quality systems, collaborative-robot integrations with one-year payback, and a R$20MM/year savings program for bulk handling. He has deep expertise in safety and compliance (NR-10, NR-12, ATEX), maintenance reliability methods including CDM, and building PMOs that institutionalize PMI/PMBOK practices and agile delivery. Denis blends technical leadership, people management and shop-floor immersion to turn conceptual designs into operationalized plants, and he also experiments with AR training tools like HoloLens to accelerate workforce adoption. Based in São Paulo, he pairs an electrical engineering background and safety postgraduate studies with an MBA in Project Management to bridge engineering, operations and strategy.
18 years of coding experience
Engenharia Elétrica, Ênfases em Eletrônica e Eletrotécnica, Engenharia Elétrica, Ênfases em Eletrônica e Eletrotécnica at Einstein Faculdade e ColégioThe Pontifical Catholic University of Minas GeraisEnsino Técnico, Electrical/Electronics Equipment Installation and Repair, General, Ensino Técnico, Electrical/Electronics Equipment Installation and Repair, General at Senai São PauloMaster of Business Administration (MBA), Gestão de Projetos, Master of Business Administration (MBA), Gestão de Projetos at Fundação Getulio VargasEscolas Técnicas Estaduais
English, Portuguese
Github Skills (63)
linux10
datalog9
logic-programming9
theorem9
translator9
logic8
declarative-programming8
specification8
verification8
modulo8
smack8
horn8
nix7
abstract-interpretation7
nixos7
Programming languages (8)
Github contributions (5)
dbueno/z3
May 2015 - Apr 2020
Contributions:26 pushes, 10 branches in 5 years
theorem-proverprovertheorem
dbueno/funsat
Mar 2008 - Jul 2015
Contributions:501 commits, 3 pushes, 1 comment in 7 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.