Our Team

N. is responsible for managing the business side of things while also being involved heavily in the technical side of the business. (With a background in FPGA-based graph processing they are used to dealing with interconnected systems that that have a lot of things going on simultaneously.)

In their spare time they manage the twitter account of their two cats, and galvanize their co-workers by seamlessly switching between 4 languages.

https://github.com/nakengelhardt

Claire is the original author of Yosys and many of the other tools in the YosysHQ software eco system. She's the technical lead in YosysHQ and manages our team of engineers and our software development projects.

In her spare time she plays Go/Baduk online and comically bad Golf offline.

https://www.clairexen.net/
https://twitter.com/oe1cxw
https://github.com/clairexen

Matt takes care of sales, marketing, training & support. He likes building electronics and making music in his spare time.

https://twitter.com/matthewvenn
https://github.com/mattvenn
https://www.ZeroToASICcourse.com/

Myrtle is the maintainer of nextpnr and developer of Project Trellis. They enjoy walking and the outdoors in their spare time.

https://github.com/gatecat
https://twitter.com/gatecatte
https://ds0.me/

Miodrag (Mićko) creates the builds for our customers and develops the GUI parts of our applications. He likes retro computers and emulation and spends his free time soldering.

https://github.com/mmicko/
https://twitter.com/micko_mame

Diego works on improvements for the formal tools but his interest in investigating and solving complex problems makes him participate in various areas of the company. He was an outstanding engineer working in the semiconductor industry as one of two members of the team of designers in Latin America who defined and revised the architecture of different SoCs.

https://fpgaparadox.com/
https://github.com/dh73
https://twitter.com/dhdezr73

Aki is a low-level developer with a primary focus on C++ but she is interested in the whole stack, from software to silicon and does hardware design and electrical engineering in her free time. She likes to read way too much manga in her free time, and occasionally streams her projects on twitch.

She also managed to get one of the largest EDA companies in the world to post an image of their equipment with cat ears.

https://lethalbit.net/
https://github.com/lethalbit
https://twitter.com/lethalbit

Marcelina, better known as mwk online, works on improving the Yosys HDL synthesis pipeline, technology mapping, and our FPGA place and route flows. She's also a CTF player at Dragon Sector and has an interest in reverse engineering and documenting closed hardware architectures, such as GPUs and FPGAs.

https://github.com/mwkmwkmwk
https://twitter.com/mwk4

Whitequark is well known for her wide range of incredible projects, including custom HDLs and other compiler projects, test and measurement equipment, control systems for quantum computers, mechanical CAD systems, high speed digital simulators, and more. She is also twitter famous for her deep dives on a vast range of technical issues.

https://whitequark.org/
https://github.com/whitequark
https://twitter.com/whitequark

Krystine has an interest in low level programming and deterministic results. Having once started a PhD, they now spend their free time playing video games and pondering physics and climatology of a flat world.

https://github.com/KrystalDelusion

https://twitter.com/KrystalDelusion

Jannis (jix) works on formal verification tooling for Yosys and likes to deep dive into SAT and SMT solving. Their spare time projects range from making art on old gaming consoles to attacking open computational problems in math and computer science.

https://jix.one/

https://github.com/jix

https://twitter.com/jix_

Hannah was in the Yosys community for a few years, before finally joining the Yosys team. They've worked on the Intel FPGA flow for Yosys and nextpnr, and in their spare time work on a chess program.