I joined QBayLogic right after its inception, working on various projects and the Clash compiler. I enjoy building out the ecosystem and contributing to our research projects.
Challenge me with your hardware design questions on temporal logics, formal methods, correct-by-design engineering, requirements engineering, verification, type systems, or functional reactive programming.
In 2021, I began working at QBayLogic alongside wonderful colleagues, and being part of the team feels like being part of a supportive and close-knit family.
Anyone can contact me for what we have to offer you to solve your challenges in FPGA- & ASIC-design and much more, for which you can also look into the reference cases on our website.
You can contact me for almost anything regarding QBayLogic. However, my colleagues are much more capable of answering questions regarding FPGA designs and technical questions.