Skip to content
View ybertot's full-sized avatar
50 followers · 1 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@math-comp

Block or report ybertot

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
@zouyonghao
Yonghao Zou zouyonghao

PKU

@bert093
bert093 bert093
Just an ordinary enthusiastic guy who loves technology

CS Student @BumigoraUniversity Indonesia

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@Zhang-Liao
Zhang-Liao Zhang-Liao
@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@igor-dimi
Igor Dimitrov igor-dimi
systematic programmer ~ student
@aljaber131
aljaber131
@z3r086
Andreas Karg z3r086
NEW-WAVE

3V1L-Z3R0 Marl

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ
@Hlizzzzz
Hlizzzzz
Student who loves coding!
@valoran-M
Valoran valoran-M
Ocaml <3
@apples0226
apples0226
@beike-zh
beike-zh
@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@sumanshil
sumanshil
@omasanori
Masanori Ogino omasanori

Japan

@erikmd
Erik Martin-Dorel erikmd
Assoc. Prof. in Computer Science

Lab. IRIT, Univ. Toulouse Toulouse, France

@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@lengkoanows
lengkoanows
@zhengpushi
Zhengpu Shi zhengpushi

Suzhou City University Jiangsu province, China

@SeshatCZ
SeshatCZ

Czech republic

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@coq-community Vietnam

@tbrk
Timothy Bourke tbrk

Inria Paris

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

CISPA Helmholtz Center for Information Security Saarbrücken

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@dhilst
Daniel Hilst dhilst
President of People's Republic of Saturn's Rings.

Brazil - Florianópolis

@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

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

University of Birmingham Birmingham, UK

@minad
Daniel Mendler minad
minadmacs

Germany

@mgrabovsky
Matěj mgrabovsky

Fakta o klimatu, VŠE Czechia

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

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

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@ligurio
Sergey Bronnikov ligurio
I make software suck less
@scott-fleischman
Scott Fleischman scott-fleischman
@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@soraros
soraros
@merbst
Matt Erbst merbst
I'm a fan of abstraction, alterity, knowledge representation, linguistics, logic, metri physics, semantics, socialism, software, & virtue epistemology!

@DandelionLabs Mentoring Digital Humanism Mentoring Collaboration Across Oceans with Open Content Laguna Niguel, CA, USA

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@vbgl
Vincent Laporte vbgl
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@dtpeters
Daniel Peters dtpeters
a palimpest of unheard sound

Freelance Chicago IL

@dkrustev
Dimitur Krustev dkrustev