Giter Site home page Giter Site logo

Hi there 👋

Hi! I am Danny Willems. I am a mathematician with multiple interests, mostly related to computer sciences and theoretical physics.

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 senior 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

octoprint icon octoprint

OctoPrint is the snappy web interface for your 3D printer!

oh-my-zsh icon oh-my-zsh

A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

opam icon opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-repository icon opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

orm icon orm

Object Relational Mapper extension

poseidon252 icon poseidon252

Reference implementation for the Poseidon Snark-friendly Hash algorithm.

pymerkle icon pymerkle

Simple merkle tree implementation in Python

pyml icon pyml

OCaml bindings for Python

reason icon reason

Friendly Syntax & Toolchain Powered by OCaml

redis icon redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

revel icon revel

A high productivity, full-stack web framework for the Go language.

rml icon rml

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

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.