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/

https://tinytapeout.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

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.

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 

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

Martin is another of our software developers. He enjoys working on EDA tools and experiments with high-level abstractions. Though a physicist by training, he can’t comprehend the number of transistors we can put on a single chip.

Emil (widlarizer) is a synthesis developer. Outside of digital logic, he’s most enjoyed developing firmware and compilers, though his education is in RF design. One day he’d like to understand Haskell or finish a personal project.

https://github.com/widlarizer

https://mastodon.social/@the_art_of_giving_up 

Roland is interested in formal methods, theorem proving and reproducible software with Nix. In his free time, he enjoys reading science fiction and trying to do handstands, so far unsuccessfully.

Emily (aiju) is also a physicist by training and now works on formal verification tooling for us.