Researcher in the areas of logic synthesis, quantum compilation, and formal verification.
- Switzerland
- http://msoeken.github.io
Highlights
- Pro
Sarah Kaiser
crazy4pi314
Sr. Cloud Developer Advocate for Python @microsoft | Python Foundation Fellow | Maker and breaker of many things
Microsoft Seattle, WA
Salvatore Sanfilippo
antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.
Redis Labs Catania, Sicily, Italy
Juanpe Bolívar
arximboldi
Postmodern C , value-oriented design, interactive software, open-source strategy, functional programming, music tech.
CTO @bronze-dev Berlin, Germany