Tudor Timisescu is a Senior Principal Engineer specializing in functional verification with over 11 years of experience designing and validating secure microcontrollers at Infineon Technologies. He combines deep expertise in e (IEEE 1647), SystemVerilog (IEEE 1800) and UVM adoption with a pragmatic focus on tooling and code generation to boost team productivity. As lead developer of SVUnit and author of the Verification Gentleman blog, he shares practical verification patterns and open-source projects that help engineers bridge theory and practice. His background includes academic research at TUM on satellite communications and hands-on presilicon verification of sensor ICs, reflecting a blend of systems-level thinking and low-level rigor. Based in Munich, he is known for translating complex security and verification requirements into auditable, testable architectures. An unexpected strength is his sustained commitment to community education—publishing reproducible examples and tools that lower the bar for newcomers to advanced verification methodologies.
11 years of coding experience
1 year of employment as a software developer
MSc., Communications Engineering, MSc., Communications Engineering at Technical University of Munich
POLITEHNICA București National University for Science and Technology
Contributions:8 commits, 5 PRs, 29 pushes in 11 months
registerxactip-xactregister-based
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.