Robert David

Software Engineer at Cato Networks

Prague, Czechia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Robert David is a software engineer with 12 years' experience specializing in low-level systems: Linux, Solaris/Unix, FreeBSD, shell scripting, C, and kernel internals. He has spent a decade at Oracle focused on Solaris DTrace, debuggers, ZFS and legacy file-systems, progressing from QE to principal engineer and C++ frontend maintenance. Now based in Prague, he is the first engineer on Cato Networks' CatoD team outside Israel, bringing deep observability and kernel-debugging expertise to a cloud/network security product. His academic background in theoretical informatics, parallel computing and mathematics complements a practical track record of building tooling and infrastructure for complex OS internals. Colleagues rely on him for resolving subtle concurrency and tracing problems that surface only under heavy production workloads.
code12 years of coding experience
job12 years of employment as a software developer
bookMaster's degree, Information Technology, Parallel computing and systems, Master's degree, Information Technology, Parallel computing and systems at Czech Technical University in Prague, Faculty of Information Technology
bookBachelor's degree, Mathematics, Bachelor's degree, Mathematics at Charles University in Prague
languagesEnglish, German
github-logo-circle

Github Skills (81)

package-management10
distro10
chimera10
linux10
deb10
mate10
package10
package-manager10
nautilus10
binaries10
mpd-client9
zfs9
window-manager9
clipboard9
system-configuration9

Programming languages (8)

ShellC++CRustMakefileGoVim ScriptPython

Github contributions (5)

github-logo-circle
robertek/dotfiles

Mar 2015 - Mar 2025

Contributions:73 pushes in 10 years 1 month
robertek/root-scripts

May 2017 - Jan 2023

Beadm and other useful gentoo root scripts
Contributions:46 commits, 1 PR, 30 pushes in 5 years 8 months
gentoorootscript
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.
Request Free Trial
Robert David - Software Engineer at Cato Networks