Konrad Siek

Research And Development Engineer at TrustInSoft

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
Konrad Siek is a Research and Development Engineer with 17 years of experience bridging academic research and industrial software delivery, currently based in Prague. He holds a PhD in Computing Science and spent a decade researching transactional memory, distributed TM systems, eventual consistency and pessimistic concurrency control before moving to applied R&D roles. At TrustInSoft he applies formal and language-oriented thinking to practical engineering problems, following a recent internship where he designed a data definition language for Lacework. His background combines deep programming language and concurrency theory expertise with hands-on development across academia and industry, including long-term roles at CTU and Poznan University of Technology. Quiet by GitHub bio but prolific in research, he brings a rigorously analytical approach and an interest in programming language research to solving real-world system correctness challenges.
code17 years of coding experience
job11 years of employment as a software developer
bookDoctor of Philosophy (Ph.D.), Computing Science, Doctor of Philosophy (Ph.D.), Computing Science at Poznan University of Technology
bookBachelor's Degree, English Philology, Bachelor's Degree, English Philology at Stanisław Staszic University of Applied Sciences in Piła
languagesEnglish, Polish, Czech
github-logo-circle

Github Skills (37)

r-package10
knitr10
delegation10
r9
literate-programming9
rmarkdown9
fault8
boilerplate8
sweave8
spelling7
rust7
parquet6
checker6
database5
child-process5

Programming languages (11)

TypeScriptRCSSC++ShellRustCJavaScript

Github contributions (5)

github-logo-circle
kondziu/kondziu.github.io

Nov 2017 - Mar 2022

Contributions:36 pushes, 1 branch in 4 years 4 months
Contributions:35 commits, 6 pushes in 14 days
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