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 (52)

distro10
linux10
deb10
binaries10
package10
chimera9
package-management9
timer9
mpd-client9
surround9
zfs9
window-manager9
clipboard8
command-line-tool8
ports8

Programming languages (8)

ShellC++RustCMakefileGoVim ScriptPython

Github contributions (5)

github-logo-circle
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
gentoo
robertek/void-packages

Feb 2023 - Oct 2024

The Void source packages collection
Contributions:123 pushes, 13 branches, 1 comment in 1 year 8 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.
Request Free Trial