Hi!

Hi, I’m Jannis, welcome to my site. I’m a software engineer and computer scientist. A recurring theme for me are SAT and SMT solvers, but while working on my projects, I’m always learning and trying new things from a wide range of areas, be it group theory, hardware design, or anything else that might be useful or just sounds interesting to me.

On my projects page and blog you can see some of the things I’ve been working on.

If you’re interested in anything on this site and have comments or want to know more, feel free to contact me. You can reach me on Mastodon or by email.

I’m also available part-time for contract-based projects with a focus on researching, designing, implementing and optimizing algorithms and data-structures ranging from versatile components like SAT/SMT solvers to tailor-made solutions for solving specific problems. If you’re considering a project, feel free to reach out to discuss whether my skills and expertise are a good fit for the problem you’re trying to solve. For EDA projects, in particular formal verification, I’m working with YosysHQ.