Skip to content
View maximedenes's full-sized avatar
68 followers · 10 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@coq @QuickChick @micro-policies @CoqEAL

Block or report maximedenes

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
@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@xuanruiqi
Xuanrui Qi xuanruiqi
Mostly a mathematician now, but still hacking some Coq and tinkering with Arch Linux.

Graduate School of Mathematics, Nagoya University Nagoya, Japan

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

TON Foundation Dubai

@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris

@arthuraa
Arthur Azevedo de Amorim arthuraa
Postdoctoral researcher at Boston University.

Boston, MA, USA

@jnarboux
Julien Narboux jnarboux

Université Paris Cité Paris

@gmalecha
Gregory Malecha gmalecha

@bedrocksystems Boston, MA

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@dmail
Damien Maillard dmail
Senior front end developer

Datadog Antibes