The Team

Our core R&D and Operations teams are growing fast. Make contact with us if you would like to work on some of the most exciting technology on the planet.


Dominic is a crypto theoretician and entrepreneur. His recent math includes Threshold Relay and PSC chains, Validation Towers and Trees, and USCIDs, and he proposes new ideas such as "The 3 E's of Sybil Resistance". Previously he ran a venture-backed MMO game using his own distributed systems that hosted millions of users.

Dominic Williams

President & Chief Scientist

Timo was once a Professor of Mathematics and Cryptography at Aachen University in Germany but got into Bitcoin. In 2013 he created AsicBoost to reduce the gate count on Bitcoin mining chips and increase the efficiency of Bitcoin mining by 20-30% that has since become a standard in large-scale mining operations.

Timo Hanke

Head of Research

Mack has led teams delivering large-scale distributed systems and networking and operating systems. Before DFINITY, he was Director of Core Systems at Facebook, helping build core infrastructure for flagship products. Prior, Mack led teams building managed databases in AWS RDS including Postgres / Aurora, and building DOS and Windows at Microsoft.

Mack McCauley

Vice President of Engineering

Jan is a leading scientist and has published over 120 widely cited papers in the areas of privacy and cryptography. Previously, he spent 19 years as Principal Research Staff Member at IBM, where he co-invented Identity Mixer, a unique cryptographic protocol for authentication. He is a Fellow of IEEE and IACR and has received many awards for his work.

Jan Camenisch

Head of Privacy & Cryptography

Ben Lynn is the "L" from the "BLS" cryptography applied by "Threshold Relay" to generate randomness and achieve incredible security, speed and scale in public networks. Once a Stanford PhD under Dan Boneh, Ben joined the DFINITY team after 10 years in senior engineering roles at Google. Ben writes many papers.

Ben Lynn

Senior Staff Scientist & Engineer

Andreas was previously a Staff Engineer at Google, where he co-designed the WebAssembly virtual machine, now continuing as lead editor of the language specification, and worked on the V8 JavaScript engine for Chrome. Andreas was formerly a post doctoral researcher at the Max Planck Institute. He has published many papers.

Andreas Rossberg

Senior Staff Scientist & Engineer

Prior to joining DFINITY, Judy developed technology and software management expertise delivering native, web, and social media apps at IBM, large-scale distributed network systems at Akamai, and cloud communications platforms at Twilio. In her free time, Judy enjoys and takes great pride in building high-performing teams and mentoring engineers.

Judy Piper

Director of Engineering

Mahnush joined DFINITY from a postdoctoral position at Yale University working on scalable and fault-tolerant distributed algorithms for consensus and secure multi-party computation, secret sharing, and interactive communication over noisy channels. She writes many papers.

Mahnush Movahedi

Senior Research Scientist & Engineer

Paul joined DFINITY after 7 years in a Staff Research Scientist position at Intel Labs, where he architected a highly optimized Haskell compiler for x86 architecture. He received his PhD from Yale University under Dr. Paul Hudak, one of the inventors of Haskell, and served as PC member of Haskell Symposium and IFL. Paul also writes many papers.

Paul Liu

Staff Engineer

Claudio spent 18 years in the Programming Principles and Tools group at Microsoft Research Cambridge where he developed the Standard ML compiler, designed Moscow ML, and worked on several compilers including Comega, Concept C#, and F#. He has a PhD from University of Edinburgh, a post-doc from Cambridge, and has published many papers.

Claudio Russo

Senior Researcher & Engineer

John is a computer scientist and programming language researcher. He is a long-time C++ and Haskell guru, was on the C++ committee for 15 years, authored Ledger, and is currently co-maintainer of the Emacs editor. Prior, he worked on DARPA contracts at BAE Systems applying formal methods to language and program semantics.

John Wiegley

Senior Researcher & Engineer

Joachim joins DFINITY after a 2-year post doc position at the University of Pennsylvania, where he was bridging the gap between Haskell and Coq to enable formal verification of Haskell code, following his PhD at KIT. He is a long-standing contributor to the Haskell compiler GHC and serves on its steering committee. He, too, has published many papers.

Joachim Breitner

Senior Researcher & Engineer

Maria is a cryptographer working on designing provably secure protocols for privacy protection and bringing research into practice. Maria holds a PhD from ETH Zurich and joined DFINITY after 11 years as an engineer and researcher at IBM. Maria has published many papers and promotes STEM for young women.

Maria Dubovitskaya

Senior Researcher

Gregory is a cryptography researcher and an expert on provable security for advanced signature and encryption schemes. He has published over 60 research papers in cryptography, security, and privacy. Gregory has a PhD from KU Leuven and joins DFINITY after ten years as a scientist at IBM Research.

Gregory Neven

Senior Researcher

Shigeo is one of the world's most talented writers of high performance cryptography libraries. He has interests in pairing implementations, x86/x64 optimization and machine learning, and is also the publisher of several academic works. His BLS implementations for DFINITY improved earlier state-of-the-art by more than 10X.

Shigeo Mitsunari

Staff Cryptographer

Enzo began his career as a quantitative developer, but quickly got into distributed systems because of a need to collect and process more financial data. The intersection of finance and distributed systems led him to Bitcoin and the blockchain industry, where he co-developed one of the first exchanges for cryptocurrency derivatives.

Enzo Haussecker

Senior Engineer

Norton joined DFINITY after building enterprise blockchain software and smart contracts implementations for capital markets at Axoni. Previously, he built cryptocurrency trading and data visualization tools at TradeBlock. He graduated from Cornell with a degree in Computer Science and in his free time enjoys mining small-cap coins.

Norton Wang

Software Engineer

Ximin works on secure decentralized protocols and high-level typed languages at DFINITY, with previous work in end-to-end messaging and decentralized storage networks. He frequently contributes to FOSS projects and is an active Debian Developer. Prior, he worked for Reproducible Builds, Tor, Google, MEGA, and graduated from Cambridge University (UK).

Ximin Luo

Software Engineer

Maciej is a programming language enthusiast with a background in compilers, cloud computing, and financial software. He studied Computer Science at Oxford University and Cambridge University and joined DFINITY after three years at Fugue where he helped build Ludwig, a modular, compiled language for infrastructure as code.

Maciej Woś

Software Engineer

Paul is a Software Engineer with experience in visual design, design systems, and an interest in programming language theory. Not satisfied with the limitations posed by existing platforms, he has been involved in projects such as constraint-based layouts for the web, alternative back ends for PureScript, and now, the Internet Computer.

Paul Young

Software Engineer

Eftychi is interested in the intersection of cryptography and distributed systems. Previously, he built secure distributed systems at Apcera/Ericsson. During his M.Sc. at Stanford University, he focused on cryptographic primitives for proof automation. More recently, he has worked on efficient multi-party computation and secure, scalable machine learning.

Eftychios Theodorakis

Software Engineer

Armando is a software engineer hailing from the Pacific Northwest. His love of correctness inspired him to use purely functional programming to build robust systems in infrastructure automation at Amazon Web Services, launch various web services in Haskell at Formation, and now contribute to data integrity and persistence at DFINITY.

Armando Ramirez

Software Engineer

Remy is a software engineer with wide interests in programming language theory, formal verification, computational physics, systems programming, and compiler design. He has worked on the K Framework for executable semantics at UIUC, on autonomous cars at Uber's Advanced Technologies Group, and on network security software at Awake Security.

Remy Goldschmidt

Software Engineer

Before joining DFINITY, David held a postdoc position at Graz University of Technology. He focuses on provably secure public key cryptography, and, in particular, on cryptographically addressing security and privacy issues in modern computing scenarios (e.g., cloud computing, Blockchains). This also includes work on primitives for the post-quantum era.

David Derler


Manu joined DFINITY after working at IBM Research as predoctoral researcher in cryptography. His research focuses on anonymous credentials, multi-signatures, and composable cryptographic protocols. He, too, has published many papers.

Manu Drijvers


Andrea is a researcher interested in the development and deployment of cryptographic protocols, currently working on building efficient zero-knowledge proofs and arguments. Previously, he was a doctoral researcher in the Information Security Group at UCL, and prior to that earned his M.Sc. in Mathematics for Cryptography at Univ. of London.

Andrea Cerulli


Stephen is a computer scientist whose research areas include machine learning, dynamical systems, programming languages, and the social implications of AI. He currently contributes to DFINITY's algorithmic governance work. Previously, he worked with Stephen Wolfram to create the symbolic mathematics program Mathematica.

Steve Omohundro

Senior Researcher - AI/Governance

Yulin holds a Master's degree in Quantum Computation and a PhD in Economics from ETH Zurich, where he is also a Senior Research Fellow. He joined DFINITY as Senior Economist to lead research on token economics and the on-chain governance system, aligning with his interests in macreconomics, monetary economics, and financial stability.

Yulin Liu

Senior Economist

Robert is a blockchain researcher with an interest in Proof-of-Stake protocols, fair incentive schemes and scalable consensus algorithms. Based in Switzerland with a PhD in Law from University of Zurich, Robert also helps with DFINITY Swiss operations, technical community outreach, and recruiting new talent.

Robert Lauko

Research Associate

Ákos started coding at a young age and has been fascinated with creating software ever since. He has worked on low-level embedded applications in C/C++/PIC32 assembly as well as full-stack JavaScript applications. Before joining DFINITY, he worked on a variety of technology startups leading both front- and back-end development.

Ákos Olasz

Software Engineer

Artem is an iOS developer-turned-designer. After studying Computer Security and working as a web/mobile developer for several years, he decided to focus on design and branding of digital products. After attending Moscow Design school, Artem has spent his last few years working on digital products on desktop and mobile devices.

Artem Korotkikh



In 2016 Tom, CEO of String Labs, the boutique Palo Alto incubator, took on the DFINITY project and became instrumental in helping launch it into the mainstream. Tom continues at DFINITY in roles including strategic advisor and global ambassador.

Tom Ding

CEO, String Labs & Strategic Advisor

Artia brings extensive operating experience as a startup entrepreneur, crypto enthusiast, and venture capitalist (where he invested in Dominic's previous company). He joins the DFINITY team with the aim of honing its operations, PR, marketing, community communications, and investor relations processes, and earned his B.Sc from Columbia University.

Artia Moghbel

Head of Operations

Gian is an experienced entrepreneur, fund manager and board member. He currently serves on the DFINITY Foundation Council in Switzerland and helps oversee Swiss operations. He has deep experience in blockchain, having co-founded Bity, a leading European digital asset exchange, among many other ventures.

Gian Bochsler

Foundation Council Member & Swiss Operations

Blair joined DFINITY after 4 years as Director of Recruiting at Fastly, a leading-edge cloud platform, where he scaled the team from 30 to almost 400 team members. Over his 15+ years of experience in tech recruiting, he scaled engineering teams at Wikia, Wikimedia, Blekko, and Google. If you want to work for DFINITY, drop him a line at [email protected].

Blair Lewis

Head of Talent

Jenn brings expertise in growth and partnerships with startups and businesses to DFINITY. Previously, she spent a decade as Corporate VP at Nasdaq leading the global flagship in New York, then served as Global CMO of BCG Digital Ventures. Most recently, Jenn co-founded 150 Bond, a global advisory firm whose clients include private & public companies.

Jennifer Ok

Head of Partnerships

Arthur joined DFINITY after implementing ConsenSys' initial content marketing strategy. He has a background in journalism, content marketing, and media production and has produced several popular blockchain-centric podcasts, most notably Beyond Bitcoin, The Ether Review, and The Third Web.

Arthur Falls

Director of Communications

Michael joins Dfinity following his previous work in Community Operations at Facebook. As an entrepreneur and alternative funding advocate, he helped support the global startup community in years prior. At Dfinity, Michael aims to advocate for a diverse community of developers, enterprises, and blockchain enthusiasts.

Michael Hunte

Director of Community Operations

Cédric initially joined DFINITY to help with the formation of the DFINITY Foundation and currently helps with Operations in Switzerland and elsewhere in Europe. Previously, he helped build and invested in technology companies in Zurich, Berlin, and Paris and has been a blockchain enthusiast since 2012.

Cédric Waldburger

Head of Ecosystem Growth

Diego is a software engineer and product manager with an emphasis on platform growth. He studied Applied Math & Economics at Harvard University and is a PhD dropout in Operations Research Engineering from USC. Previously he co-founded a privacy-focused PaaS for serverless applications and was VP of Growth & Product Engineering at Overnight.

Diego Prats

Growth Engineering Manager

A highly dynamic coordinator of projects and business development activity, Tomomi was previously at the Women's Startup Lab in Menlo Park. She is a bilingual Japanese speaker, recently graduated Cum Laude with a B.A. in Communications from Santa Clara University, and is passionate about and helps drive progress in the blockchain space.

Tomomi Menjo

Project Coordinator

Elizabeth joins DFINITY after previously working as an analyst at Goldman Sachs in New York in alternative investments and internal audit for 3 years and most recently for a travel startup in Berlin leading Venture Development. She focuses on building project operations capabilities including legal, regulatory, and finance support.

Elizabeth Yang

Operations Manager

Tho joins the team after four years at Samsung Electronics America, where she engaged with the community and partners to grow the developer ecosystem across various products and platforms. With DFINITY, she aims to provide operational and employment brand development support to scale the project.

Tho Nguyen

Talent Operations Manager

Jelena brings a diversity of experience to the DFINITY team with her time at the United Nations, supporting a democracy-building NGO in Eastern Europe. Most recently, She lead the operations for a Canadian technology business council. She attended the University of Toronto and is passionate about inclusive community-building in the blockchain space.

Jelena Djuric

Community Manager

Sharon supports the Founder/Chief Scientist and VP of Engineering at DFINITY. Prior to DFINITY, she had diverse operational experience for 5 years with Servcorp, a global workspace solutions company. Sharon adds a wealth of communication, process and execution capabilities to enable DFINITY to successfully scale rapidly.

Sharon Choe

Executive Assistant


The Decentralized and Distributed Systems (DEDIS) Group at École Polytechnique Fédérale de Lausanne (EPFL) has two members working full time on DFINITY at any given time.

Bryan focuses broadly on building secure decentralized systems, touching on topics including private and anonymous communication technologies, Internet architecture, and secure operating systems. He received the Jay Lepreau Best Paper Award at OSDI, and grants from NSF, DARPA, and ONR, including the NSF CAREER award.

Prof. Bryan Ford

Team Lead

Philipp completed his PhD in cryptography in 2015 at the Faculty of Computer Science and Mathematics of the University of Passau, Germany with his thesis receiving the 2016 dissertation award of the University of Passau in the area of mathematics / computer science. He is interested in cryptography and decentralized systems. Philip writes papers.

Philipp Jovanovic

Research Scientist

Lefteris's research focuses on decentralized trust systems increasing the robustness and transparency of today’s Internet, scalable blockchain systems, bias-resistant decentralized randomness generation, secure software update dispersion and novel applications of threshold cryptography and distributed consensus. He writes papers.

Eleftherios K'-Kogias

Doctoral Researcher

Ewa is interested in generating "good" and verifiable randomness in a distributed setting, strongest-link collective authorities ("cothorities") and improving anonymous communication technologies, privacy-preserving biometric authentication schemes and anonymous, deniable authentication methods. Ewa writes papers.

Prof. Ewa Syta

Research Scientist

Stevens is postdoc researcher at DEDIS who has a particular interest in creating networks and systems that support anonymous communication. This is ambitious recent efforts in this regard are reflected in his work on the Aqua and Herd systems. He also writes papers.

Stevens Le Blond

Research Scientist

Linus works as a software engineer focused on the practical implementation of decentralized cryptographic algorithms and systems.

Linus Gasser

Software Engineer

Cristina works on distributed systems with recent projects including "Poster low-latency blockchain consensus". She also writes papers.

Cristina Basescu

Doctoral Researcher

Nicolas works as a security software engineer focused on the practical implementation of decentralized cryptographic algorithms and systems.

Nicolas Gailly

Security Software Engineer