Get in touch with us

I enjoy tackling the design challenges in CS, EE, and their intersection.

I came in at QBayLogic as a compiler engineer, fresh out of University, and have been learning more and more about hardware development since then.

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.

During my Master’s I discovered Clash as a way to create FPGA designs and I’ve been intrigued by the abstraction level ever since.

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.

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.

I joined QBayLogic in 2019 to work part-time on extending and improving Clash’s standard library and whatever other jobs happen to come my way.