Andreas Tiemeyer - Software Architect at Cadence Design Systems

Andreas Tiemeyer

Software Architect at Cadence Design Systems

Örebro, Sweden

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

Andreas Tiemeyer is a Software Architect with over two decades of deep experience in formal verification, symbolic simulation, and semiconductor validation, currently leading architecture work at Cadence in Örebro. His background blends rigorous academic training (PhD in Mathematics and Computer Science) with hands-on engineering at Intel and Oxford, delivering tools for property checking, equivalence verification, and power/performance prediction. He is fluent in C/C++ and domain-specific languages (reFLect, SystemC, SystemVerilog) and has shepherded prototype research into production-grade software and open-source ecosystems. As a contributor and backend architect to the well-known CBMC bounded model checker, he has improved C++ front-end robustness and preprocessor handling, showing deep familiarity with complex toolchains. Customer-focused and technically curious, he pairs formal methods expertise with practical algorithm design—often surfacing non-obvious trade-offs between verification rigor and runtime performance.

8 years of coding experience

23 years of employment as a software developer

Postgraduate Diploma, Data Science, Postgraduate Diploma, Data Science at Robert Gordon University

Doctor of Philosophy (Ph.D.), Mathematics and Computer Science, mit Auszeichnung, Doctor of Philosophy (Ph.D.), Mathematics and Computer Science, mit Auszeichnung at Bielefeld University

Master’s Degree, Mathematics and Computer Science, mit Auszeichnung, Master’s Degree, Mathematics and Computer Science, mit Auszeichnung at Universität Bielefeld

English, German, Swedish, Hebrew, French

Github Skills (19)

c-language10

preprocessing10

preprocess10

c-preprocessor10

model-checking10

directives10

preprocessor10

cprogramming-language10

directive10

architecture9

debug9

debugging9

html-template9

python-templates9

apptemplates9

Programming languages (3)

C++SWIGVerilog

Github contributions (5)

diffblue/cbmc

Sep 2017 - Apr 2019

C Bounded Model Checker

Role in this project:

Backend Developer & Software Architect

Contributions:17 commits, 13 PRs, 61 comments in 1 year 6 months

Contributions summary:Andreas primarily focused on improving the cbmc bounded model checker by addressing compilation issues and enhancing the code's robustness. They addressed problems related to the handling of preprocessor directives and the use of assertions. Additionally, the user made modifications to the C++ front-end, including improvements to the template resolution and symbol handling. These changes demonstrate a strong understanding of the codebase and its internal workings.

model-checkermodel-checkingcppcheckertla

andreast271/cbmc

Oct 2017 - Mar 2021

C Bounded Model Checker

Contributions:87 pushes, 74 branches, 2 tags in 3 years 6 months

model-checkerchecker

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