Lukas Zahradnik
Oracle Database SME
Brno, South Moravia, Czechia
Summary
👤
SeniorLukas Zahradnik is an Oracle Database SME with over eight years focused on high-availability, performance tuning and automation across RAC, Data Guard and large-scale Enterprise deployments. Based in Brno, he has driven incident response, DR and migration projects at Kyndryl and previously maintained 850+ Oracle instances for life sciences at NNIT, where scripting and performance optimization were core responsibilities. He pairs deep RMAN, ASM and partitioning expertise with practical automation—authoring Ansible playbooks and shell tooling—to speed diagnostics and reduce operational risk. Comfortable from mainframes to cloud-adjacent clusters, Lukas also explores Python, Go and machine learning in side projects, bringing a software-minded approach to traditional DBA problems.
8 years of coding experience
English, Russian
Github Skills (45)
geometric-deep-learning10
jam10
pytorch10
python10
machine-learning10
logic-programming10
deep-learning10
differentiable-programming10
logic10
relational9
discord9
dsl9
rubiks-cube9
jpype9
graph9
Programming languages (6)
Github contributions (5)
LukasZahradnik/PyNeuraLogic
Dec 2020 - Jan 2023
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
Contributions:48 releases, 24 reviews, 848 commits in 2 years 1 month
pytorchdifferentiabledifferentiable-programminglogic-programminggeometric-deep-learning
LukasZahradnik/NeuraLogic
Jan 2021 - Aug 2024
Deep relational learning through differentiable logic programming.
Contributions:2 PRs, 110 pushes, 34 branches in 3 years 8 months
differentiablelogic-programmingrelationalmlpcaffe2
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.