Petr Šilling
Machine Learning Engineer at Elpro-Energo, s.r.o.
Brno, Southeast, Czechia
Summary
👤
Senior🎓
Top SchoolPetr Šilling is a Machine Learning Engineer and PhD researcher with nine years of experience applying deep learning to real-world problems in microscopy, healthcare, and industrial optimization. He combines production-focused engineering—building a transformer production cost optimiser and automating data pipelines at Red Hat—with cutting-edge R&D in electron microscopy image segmentation and stitching, work that won a Best Paper Award. At TESCAN he focuses on FIB-SEM segmentation and automated material composition analysis, while his academic projects include Transformer-based video understanding for surgical suturing. Comfortable moving models from research to production, he bridges rigorous mathematical modeling and practical software delivery. Outside the lab he maintains an active lifestyle, hinting at the discipline and persistence he brings to long-term research and engineering challenges.
9 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Brno University of TechnologyInženýr (Ing.), Machine Learning, 1, Inženýr (Ing.), Machine Learning, 1 at Vysoké učení technické v Brně
Czech, English, German
Github Skills (39)
abstract-interpretation9
macbook-pro9
semantic9
kernel9
program-analysis8
touchbar8
static-analysis8
pendo7
specification7
react7
macos-big-sur6
dock6
widgets6
css-modules5
artifacts5
Programming languages (6)
Github contributions (5)
redhat-massages/rh-massages
Aug 2017 - Feb 2020
Red Hat massages management site
Contributions:8 releases, 3 PRs, 113 pushes in 2 years 6 months
site-managementred-hathat
PSilling/diffkemp
Aug 2019 - Apr 2022
Automatic static analysis of semantic difference of kernel configuration options
Contributions:108 pushes, 24 branches in 2 years 7 months
kerneloptionsabstract-interpretationstatic-analysissemantic
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.