Skip to content
View jnarboux's full-sized avatar
29 followers · 29 following
  • Université de Strasbourg
  • Strasbourg

Achievements

Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@GeoCoq
Block or Report

Block or report jnarboux

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
@ftranminh
ftranminh
@PatrickMassot
Patrick Massot PatrickMassot

Paris

@McEarl
Marcel Schütz McEarl

FAU Erlangen-Nürnberg

@Karnaj
Karnaj
@niotie
Antoine Meyer niotie
@Nolkaloid
Noé Nolkaloid
＼(￣▽￣)／

Earth

@CohenCyril
Cyril Cohen CohenCyril

Inria Sophia Antipolis, France

@disteph
Stéphane Graham-Lengrand disteph

SRI International

@GaelleThom
GaelleThom
@BasileSauvage
BasileSauvage
@Goyet-Christopher
GOYET Christopher Goyet-Christopher

France

@pkhuong
Paul Khuong pkhuong

NYC

@janicicpredrag
Predrag Janicic janicicpredrag

University of Belgrade

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@lukaszcz
Łukasz Czajka lukaszcz
compiler construction, programming language design, proof automation, computational logic
@JasonGross
Jason Gross JasonGross

Machine Intelligence Research Institute Berkeley, California, United States

@charlygries
charlygries
@projetmbc
Christophe BAL projetmbc
Mathematics teacher who loves programming and tries to find time to develop potentially useful applications.

Chambéry, France

@Boutry
Pierre Boutry Boutry

University of Strasbourg Strasbourg

@Yoz0
Stéphane Kastenbaum Yoz0
@thery
Laurent Théry thery

INRIA Sophia Antipolis, France

@pirbo
Pierre Boutillier pirbo

Paris

@clarus
Guillaume Claret clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.

Formal Land Paris

@maximedenes
Maxime Dénès maximedenes
@letouzey
letouzey
@braibant
Thomas Braibant braibant

London

@herbelin
Hugo Herbelin herbelin
@jeremie-koenig
Jérémie Koenig jeremie-koenig

@CertiKOS New Haven, CT

@mattam82
Matthieu Sozeau mattam82

Inria Nantes