Skip to content
View Armael's full-sized avatar
163 followers · 43 following
  • Inria
  • Paris-Saclay

Organizations

@ocaml @CakeML

Block or report Armael

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@superboum
Quentin Dufour superboum

consio.ai Sens

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@creusot-rs
Creusot Rust Verifier creusot-rs
A flexible, performant verifier for Rust programs
@Lucccyo
Charlène_Gros Lucccyo

Tarides

@polytypic
Vesa Karvonen polytypic

Helsinki, Finland

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@fpottier
François Pottier fpottier

Inria Paris, France

@TheLortex
Lucas Pluvinage TheLortex
Doing things with computers

École Normale Supérieure

@xldenis
Xavier Denis xldenis
formal verification hacker
@vanilla-extracts
Charlotte Thomas vanilla-extracts
French Developer, System Admin and State Civil Servant OCaml amateur, Rust lover, Java master, Scala hater, Python scripter, Typst Enjoyer

DevOps Engineer, State Civil Servant Rennes, France

@art-w
art-w
@leon-gondelman
Léon Gondelman leon-gondelman
@Lesly-Ann
Lesly-Ann Daniel Lesly-Ann
Assistant Professor @ Eurecom Interested in formal methods for low-level security.

Eurecom Biot, France

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@Octachron
Florian Angeletti Octachron

Inria Paris

@floooh
Andre Weissflog floooh

Berlin

@dmbaturin
Daniil Baturin dmbaturin

@vyos

@adhorazio
Adrien d'Hollande adhorazio
Electronic engineer, student in biomedical engineering, strategy game lover and a cognitive science enthusiast.

Paris-Saclay University Paris

@chetmurthy
chetmurthy
@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@animal555
animal555
@co-dan
Daniel Frumin co-dan

Groningen

@mjsottile
Matthew Sottile mjsottile
Computer scientist @ Lawrence Livermore National Laboratory, Center for Applied Scientific Computing. Researcher in compilers/PL, HPC, applied math.

LLNL

@Mbodin
Martin Constantino–Bodin Mbodin
Not all the projects made under this GitHub profile are done for work, more typically on my free time.

INRIA Grenoble

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

@fakusb
Fabian Kunze fakusb

Germany

@Niols
Nicolas Jeannerod Niols

Paris

@adrieng
Adrien Guatto adrieng

France

@cfcs
C For C's Sake cfcs
🐫

#nolibc movement

@backtracking
Jean-Christophe Filliatre backtracking
@lthms
Thomas Letan lthms
I’ve been wrong before.

Nomadic Labs Paris

@paurkedal
Petter A. Urkedal paurkedal

Denmark

@BFarinier
BFarinier
@let-def
Frédéric Bour let-def
Chamelier (pas trop fou)

Tarides Earth

@trefis
Thomas Refis trefis

Taridès Paris

@jledent
Jérémy Ledent jledent
@Drup
Gabriel Radanne Drup
CS Researcher. I complain about languages.

Inria Lyon

@RainbowRaptor
RainbowRaptor
@gasche
Gabriel Scherer gasche
@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@nguyentito
Nguyễn Lê Thành Dũng nguyentito
https://sfconservancy.org/GiveUpGitHub/
@acieroid
Quentin Stiévenart acieroid

UQAM Montréal, Canada