Skip to content
View bobot's full-sized avatar
44 followers · 0 following
  • CEA LIST
  • Orsay, France

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Organizations

@CVC4 @Frama-C

Block or report bobot

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
@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@start974
Jeremy Damour start974

Paris

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

Lab. IRIT, Univ. Toulouse Toulouse, France

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

Xanadu Canada

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@identities
identities
@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@Ruthwik2610
Ruthwik Krishna Bandreddy Ruthwik2610

Amrita Vishwa Vidyapeetham coimbatore

@varasterix
Aymeric Varasse varasterix
Research Engineer in Computer Science

Software Heritage Paris, France

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@SeshatCZ
SeshatCZ

Czech republic

@Firobe
Virgile Robles Firobe

@tarides France

@Julow
Jules Aguillon Julow

@tarides France

@hhugo
hhugo
@j29scott
Joe Scott j29scott

University of Waterloo Waterloo, Ontario, Canada

@NewMetaverse
NewMetaverse
@dexeril974
eric dexeril974
Success is achieved by those who try and keep trying with a positive mental attitude.

CAHSJUICE FRANCE

@kamil-adam
Kamil Adam kamil-adam
Scala, Kotlin, Haskell and Rust Software Engineer

writeonly.pl Katowice

@Naereen
Lilian Besson Naereen
Full-time teacher of computer science in Classes Préparatoires MP2I in Strasbourg in France. Passionate Magic: the Gathering player and active L1 judge.

Lycée Kléber | Éducation Nationale Strasbourg, France

@smorimoto
Sora Morimoto smorimoto
Occasional OCaml Programmer @ocaml @tarides @ocsigen @mirage @Solo5 @tc39

@ocaml @tc39 Tokyo, Japan

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

CISPA Helmholtz Center for Information Security Saarbrücken

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@ghuysmans
ghuysmans

Belgium

@richardlford
Richard L Ford richardlford
@mariojppereira
mariojppereira
@eda-ricercatore
Zhiyang Ong eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs

Design Automation Renegades In passato, vicino al Dolomiti

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@andreypopp
Andrey Popp andreypopp

@mechanize-systems Tbilisi, Georgia

@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

@grammarly (Formerly @pinterest, @Yelp) I love San Francisco

@kennetpostigo
Kennet Postigo kennetpostigo
🐼

Miami, FL

@rdavison
Richard Davison rdavison

New York, New York

@hai-nguyen-van
Hai Nguyen Van hai-nguyen-van
Satellite Telecom Engineer

Eutelsat OneWeb

@gpetiot
Guillaume Petiot gpetiot
Builder

United Kingdom

@correnson
Correnson Loïc correnson

CEA Tech

@UnixJunkie
François Bérenger UnixJunkie
Cheminformatician

Applied Cheminformatics International Cambridge, UK

@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

@objmagic
R Li objmagic

@Twitter

@rizo
Rizo rizo
Lost in macroexpand

Porto (Portugal)

@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@claudemarche
Claude Marché claudemarche

Inria