Summary
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.
17 years of coding experience
11 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computing Science, Doctor of Philosophy (Ph.D.), Computing Science at Poznan University of Technology
Bachelor's Degree, English Philology, Bachelor's Degree, English Philology at Stanisław Staszic University of Applied Sciences in Piła
English, Polish, Czech