Tomáš Halman
Senior Software Engineer at Red Hat
Prague, Prague, Czechia
Summary
👤
Senior🎓
Top SchoolTomáš Halman is a Senior Software Engineer based in Prague with 11+ years of experience building resilient infrastructure and back-end systems across Linux, virtualization, identity management, and networking services. He combines low-level C/C++ and systems programming with Python and scripting to harden services like DNS, LDAP, email/antispam, and cluster/VM orchestration at scale. At Red Hat and in open-source projects he has improved robustness and reliability—contributing fixes to CZMQ’s process handling and to SSSD’s authentication and DNS modules—demonstrating attention to edge cases like timeouts, signal handling and thread-safety. His background includes designing enterprise datacenter virtualization, monitoring, PKI and antispam gateways for government and large corporate customers, reflecting strong operational and security awareness. Comfortable both as a hands-on developer and consultant, he holds VMware certification and security clearance, enabling work on sensitive infrastructure. Notably, his open-source contributions show a focus on preventing resource leaks and subtle concurrency bugs that often plague production systems.
11 years of coding experience
25 years of employment as a software developer
High school of mechanical engeneering
English
Github Skills (16)
c1710
configuration-management10
authentication10
process-management10
user-authentication10
error-handling10
mq10
signal-handling10
sssd10
c1110
zeromq10
identity-management10
netmq10
dns9
multithreading9
Programming languages (10)
Github contributions (5)
SSSD/sssd
Sep 2018 - Dec 2022
A daemon to manage identity, authentication and authorization for centrally-managed systems.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:312 reviews, 91 commits, 66 PRs in 4 years 3 months
Contributions summary:Tomáš primarily contributed to the back-end functionalities of the SSSD project, focusing on enhancing and maintaining identity, authentication, and authorization services. They addressed bugs, such as those related to domain misconfiguration and invalid characters in configuration files. Key contributions involve refactoring of system and LDB error handling, introducing a p11_child timeout, and improving DNS resolution within the dyndns module. These changes indicate a focus on improving robustness and stability of the core components.
pamyubikeyauthorizationdaemonauthentication
zeromq/czmq
May 2018 - May 2018
High-level C binding for ØMQ
Role in this project:Back-end Developer
Back-end DeveloperContributions:10 commits, 8 PRs, 3 comments in 21 days
Contributions summary:Tomáš focused on improving the `zproc` module, which handles process management within the CZMQ library. Their contributions include refactoring the `zproc_wait` function to incorporate timeouts and utilizing the `alarm()` function for signal handling. They also addressed issues related to process termination, ensuring proper cleanup and avoiding zombie processes. Additionally, the user enhanced the robustness of the `zproc` functionality by fixing potential thread-safety issues.
multiplexerhigh-levelgossipbinding
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.