Skip to content
View ppedrot's full-sized avatar

Organizations

@rocq-prover

Block or report ppedrot

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
@takanuva
Paulo Torrens takanuva
Shame on me, shame on me, I'm a tool and nothing more.
@ahuoguo
Alex Bai ahuoguo

New York University

@Eikonsphere
Eikonsphere Eikonsphere
Eikonsphere

Eikonsphere Eikonsphere

@PersonForSure
Monocled PersonForSure
Self studying mathematics, λ (A : Type) → λ (f : A → A) → λ (x : A) → f^15(x) years old

>_

@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

@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@papachan
Dan papachan
(machine-type)
@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@Villetaneuse
Pierre Rousselin Villetaneuse
Computer science teacher at Université Sorbonne Paris Nord
@dongchen-coder
Dong Chen dongchen-coder

University of Rochester

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

Xanadu Canada

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@Clownsw
Clownsw Clownsw
until you have.
@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@YuyanBao
Yuyan Bao YuyanBao

Augusta University United States

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

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

Lab. IRIT, Univ. Toulouse Toulouse, France

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@SeshatCZ
SeshatCZ

Czech republic

@DrRuisseau
Λ DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge! I am not a technology nerd!11!!! Also, i'm so sorry for my geniusness and successness. =)
@tlkahn
JG tlkahn
This is the way. I have spoken.

Olympus Mons, Mars

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

Draper Boston

@jaanli
Jaan Altosaar Li jaanli
Machine learning and data science for health care; prev. @PrincetonUniversity @Phare-Health @google @google-deepmind

University of Tartu & @onefact Brooklyn

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

@rocq-community Vietnam

@ArtiskOnGit
Biloba ArtiskOnGit
Centrale Nantes student
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@adnahmed
Adnan Ahmed adnahmed
Computer Scientist

Islamabad, Pakistan

@Alizter
Ali Caglayan Alizter

London, United Kingdom