Giter Site home page Giter Site logo

Hi there 👋

Hi! I am Danny Willems. I try to use my developer and mathematician skills to build softwares, libraries and companies to reach a better society according to my values. My values include, but are not restricted to, privacy, egalitarianism and more recently veganism. When possible, my work is released publicly in open-source and for free.

I spend most of my time trying to provide a better Internet for everyone. With this mission in mind, I co-founded LeakIX with Gregory Boddin in 2021 and we aim to be the Internet red team.

I am also a cryptography engineer at o1Labs, a company catalyzing a new generation of applications powered by zero-knowledge cryptography.

Previously I was a cryptography engineer at Nomadic Labs in the cryptography team working on privacy preserving technologies. I was also the first engineer at B2C2.

During my study, I did an internship in the Gallium team at INRIA for my master thesis titled "To a typed language for modular programming" which consisted on unifying the core and modular language of OCaml.

I graduated with a master degree in Mathematics from the University of Mons in 2017.

Over the years, I also gained experiences in web and mobile development, DevOps and project managemenent.

My current interest in cryptography is incrementally verifiable computation. I have been also interested in arithmetization-oriented cryptographic primitives. On my free-time I read about cybersecurity, low-level code optimisations, formal verification and mathmetics applied in physics. I also enjoy doing recreative mathematics.

Regarding my personality, I am a curious person, I appreciate debating respectfully. I enjoy being surrounded by self-minded and respectful people, but I need to be in my world more than the average.

Danny Willems's Projects

99-problems icon 99-problems

Solutions of ninety-nine problems in different programming languages

addchain icon addchain

Cryptographic Addition Chain Generation in Go

algebra icon algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

anemoi icon anemoi

A Rust implementation of the Anemoi hash function by Bouvier et al.

anemoi-hash icon anemoi-hash

Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions

arduino icon arduino

open-source electronics prototyping platform

awesome-books-articles icon awesome-books-articles

A list of awesome books, articles and websites of several subjects like mathematical logic, type theory, category theory.

awesome-ocaml icon awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

base58 icon base58

Base58 and Base58Check implementation compatible with what is used by the bitcoin network.

bioinfo icon bioinfo

Projet de bio-informatique 2015-2016

bitcoin icon bitcoin

Bitcoin Core integration/staging tree

bls12_381 icon bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group

blst icon blst

Multilingual BLS12-381 signature library

bmex-full icon bmex-full

BitMEX (Production) meta-repository with all dependencies

ccxt icon ccxt

A JavaScript / Python / PHP cryptocurrency trading API with support for more than 120 bitcoin/altcoin exchanges

celo-monorepo icon celo-monorepo

Official repository for core projects comprising the Celo platform

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.