David A. R. Robin
M. Sc. student at ENS
Education & Experience
M. Sc. Computer Science (1st year)
École Normale Supérieure, Paris, 2018-2019
Advanced mathematics and computer science.
- Category theory
- Network modelisation
- Parallel programming
- Computer vision
- Convex optimization
- Machine Learning
- Deep Learning
B. Sc. Computer Science
École Normale Supérieure, Paris, 2017-2018
Solid basis in modern mathematics and computer science.
- Mathematical Logic
- Formal languages
- Information theory
- λ-calculus and calculability
- Processor's architectures
- Operating Systems
- Randomized algorithms
- Semantics and Verification
Massachussets Institute of Technology, Boston (MA)
Jun - Aug 2018
Research Internship with Philippe Rigollet (MIT) on reconstruction of cellular trajectories in gene expression space with Optimal Transport.
The resulting toolkit for single cell RNA sequencing timeseries analysis is open source and available as a Python package.
Waddington Optimal Transport : broadinstitute/wot
Lycée Louis-le-Grand, Paris, 2015-2017
Post-secondary program in advanced maths and physics leading to nationwide entrance examinations to the Grandes Écoles for scientific studies
Baccalaureate in science
Lycée Hoche, Versailles, 2015
A-levels French equivalent
Awarded with highest honours
- French – Mother tongue
- English – Fluent
- Spanish – Fluent
- Programming – C, Crystal, OCaml, Rust, Ruby, Bash, Python, Java, Julia
- Tools – Git, Vim, RSpec, LaTeX
- Linux Fluent, BSD enthusiast
Raspberry Pi 3 64-bit OS
UNIX-like 64-bit micro-kernel with MMU handling, dynamic memory allocation, hardware interruptions, multi-processing, and basic filesystem for the Raspberry Pi 3 (before even Linux implements 64-bit support)
Source code available on github: robindar/sysres-os
Small SMT solver for equality theory decision procedures.
Implements DPLL, two-watched literals, and is fully unit-tested.
Source code available on github: robindar/semver-smt
Compiler for a small (yet Turing-complete) subset of Rust.
Borrow-checked and compiled down to x86 assembly.
Source code available on github: robindar/compil-petitrust
RISC V processor emulator
"RISC V"-style basic processor emulator in Minijazz (Netlist superset) and Minijazz-to-C compiler. Supports few instructions but has a good build system and is unit-tested
Source code available on gitlab: alpr-sysdig/processor
Genetic algorithms for the Traveling Salesman Problem
School project (TIPE)
Genetic algorithm to find good solutions to the Traveling Salesman Problem and a testing structure around it to optimize meta-parameters like population size, mutation probability or crossover method
Headless Debian to practice web design and server administration
Also acts as a personal Git server and occasional blog
Let's work together
If you have a project that you want to get started, think you need my help with something, or just fancy saying hi, send me a message, I'm always happy to help !Message Me