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

ethjsonrpc icon ethjsonrpc

Python JSON-RPC client for the Ethereum blockchain

exif-js icon exif-js

JavaScript library for reading EXIF image metadata

faq icon faq

Frequently Asked Questions

freeboard icon freeboard

A damn-sexy, open source real-time dashboard builder for IOT and other web mashups. A free open-source alternative to Geckoboard.

git-stats icon git-stats

:four_leaf_clover: Local git statistics including GitHub-like contributions calendars.

glical icon glical

glancing at iCal data using OCaml

gslib icon gslib

Repositories containing some personnal library in different languages, some personnal code.

hackathon-list icon hackathon-list

List of hackathons, generated from different websites listing or organizing hackathons.

hades252 icon hades252

Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.

halographs icon halographs

Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"

ip4scout icon ip4scout

Pretty random INTERNET syn/ack scanner, useful for finding specific alive ports for research.

jsoo-lib icon jsoo-lib

Additional functions to js_of_ocaml bindings to Javascript standard library.

jubjub icon jubjub

Implementation of the Jubjub elliptic curve group

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.