Modular, simple, composable. It's the only way we have found to build fast, correct and maintainable software. Modular means that we build software as a collection of independently useful and reusable parts. We ruthlessly refactor each part to keep it focused on a single purpose, making it simple. We deliver software fast by thinking about composability left right and centre, connecting parts together from whichever direction, like train wagons. Composability lets us express arbitrarily complex behaviours with less code.
Functional, typed, immutable. These are the key technologies for composable software. We build parts as functions, because functions compose where objects do not. We use types to describe functions, because one type is worth a thousand out-of-date comments. We keep data immutable, because immutability lets us focus on the business logic holistically without getting bogged down by hundreds of corner cases.
PhD (École Polytechnique) formal methods and compiler design. Dreams distributed systems.
MBA (ESSEC). Former financial auditor and Head of Finance. In love with Excel for financial modelling and reporting.
In charge of the magic potion that turns smart Tweag content into business opportunities!
PhD (École Polytechnique) in homological algebra and dependent types. Core team of Coq proof assistant. Mathematician and software engineer. Wish Bear.
PhD (U. Pennsylvania) verified programming language design. Core Haskell/GHC contributor and steering committee member. Dependent typist.
Nix project founder. PhD (Utrecht University) on purely functional software deployment. Programmer-Archeologist.
MBA (ESG) in human ressource management. Bridge between technical, commercial and administrative roles.
PhD Geophysics (IPG Paris). Passion for Science. Reduces data to color.
MSc Investement and Risk Finance. In love with numbers, google apps and nature.
Background in market research for new product innovations. MSc in International Business.
PhD (Technische Universität Berlin) concurrent functional programming & compilers. Lambda Scientist.
A journalist by training, managed a media ethics think-tank and agricultural research scholarships. I keep things ticking around here.
PhD (Neuroscience, UCL). Data scientist with a background in experimental and computational science. I like to invent new ways of building predictive models.
PhD (Kingston) Applied mathematician, statistician & functional programmer. Jack of all trades - closet differential geometer.
Former Royal Marine. Martial artist. Rider of motorcycles. Chef. Applying lessons from all of those to building elite development teams.
Taking Nix to the next level. Founder, NixOS Security Team. Author of OfBorg, the Nixpkgs continuous integration tool.
Managing infrastructures with code. And a healthy dose of stubborness.
PhD (Rennes) on Hopfield neural networks. Running several IaaS/PaaS on my laptop. Dream of SSH-less datacenters.
MSc (Montevideo) in program fusion transformations. Software craftsman and engineer. Maintainer of Cloud Haskell. Dreams of ways to make software correct.
MMath (Oxford). Likes tidying codebases and writing documentation in verse. Secretly hates type classes.
PhD (Saint Petersburg State) theoretical physics. Tying the knot between abstract problems and computer aided solutions. Gentoo developer.
Idris fanboy, Magpie, former chef. Won't stop believing that software development can be better. Helping to make academics dreams a reality.
Startup veteran and former CTO, Kris is happiest at the interface between technology and end-users: the frontend.
PhD (UPMC Paris 6) medical informatics, knowledge engineering. NLP enthusiast. Cursing the typesystem when coding in Haskell and longing for it when coding in Clojure.
PhD (Rennes) on FPGA accelerators. Functional programming convert. Dreams of expressive tools for designing type-safe hardware.
PhD Computational physics (Fribourg, ETH Zurich). Functional programming enthusiast. Hacks Haskell for fun.
Msc (École polytechnique) in programming languages theory. Grows a binary tree in his garden.
PhD (UCBL Lyon 1) computer graphics. Looking for the perfect tool to do the job.
Haskell enthusiast and open source contributor. Balancing correctness with reality.
PhD (École Polytechnique) in formal methods in embryogenesis. Learned to code by listening to a compiler. Wants to refactor the world.
MSc (École Polytechnique) in computer science, BSc (University of Warsaw) in mathematics. Puts type systems on everything.
Late stage Haskell addict. Enjoys chasing buzzwords. Working on a Haskell to WebAssembly compiler.
Fell into the FP potion as a young programmer. Everything is a compiler if you do it right. Like my parsers, my humour is usually context-free.
Jack of all trades, master of some. Dreams of correct, maintainable, reproducible software by night. Tries to accomplish that by writing Haskell and Nix by day.
PhD (U. Paris Dauphine) Applied Mathematics. Math problem solving enthusiast. Seeking the beauty of math through models. An old math olympiad participant.
Instantiates infrastructure in the morning, digs into arcane low-level things in the evenings, dreams of an IPv6-only world at night.
Started out with C, Assembler and oscilloscopes and fell in love with FP, Types and Nix eventually.
PhD (U. Caen Normandie) on cellular automata. Loves learning and solving hard problems. Sees tree transductions everywhere.
MSc (Manchester) bioinformatics & systems biology. With Haskell for 10+ years and still in love.
Composer and functional programmer. I enjoy finding simple solutions to hard problems, usually by looking for a category.
PhD (TU Munich) in bioinformatics. Samples rock climbs, probability distributions, and wine.
Likes reproducible environments, immutable infrastructure and tries to make networking fun again.
MSc (ETH Zürich) Earth Sciences. Enjoys building models and the infrastructure that makes them possible.
PhD (UPMC Paris 6) on automated proof systems. Likes to write code to automatically analyze code for maximal procrastination.
MEng Computer Science (Cambridge). Fan of clean abstractions. Believer in mechanical sympathy. Outdoorsy. Wants to grok category theory one day.
PhD (U. Bologna) in the theory of functional programming languages. Awaiting the full automation of human labor and the takeover of machines.
PhD (U. Kansas) in Computer Science. Haskeller since 2002, pro since 2013. Ultimate frisbee, dog dad, human husband, level 8 Steward of the Kitchen.
UNIX aficionado who loves Nix and has a complicated relationship with Python. Dreams of a future with NixOS in your pocket.
Was lucky enough to start his software carrer using Haskell. Advocates for correct code and simple systems. Wants to live in a world where software is doing good.
A long time Nix contributor. Still getting excited when things work.
PhD (KU Leuven) in programming language design and implementation. Enjoys nature and things that grow. Intrinsically-typed.
PhD (Nice Sophia-Antipolis) in linear logic for multithreaded programs. Likes static analyses, fighting with provers, and generating tests from formal specs.
At heart, I'm a mathematician, a writer and a critical thinker. I enjoy brutal honesty and martial arts. Oh also, Haskell is amazing.
I fell in love with programming by writing assembly. I like fighting with performance issues. Always trying to understand what's under the hood.