Skip to content
View fpvandoorn's full-sized avatar
134 followers · 5 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@leanprover-community

Block or report fpvandoorn

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@guojing0
Jing Guo guojing0
@rmamade
rmamade
@Laurie-Rathbone
Laurie Rathbone Laurie-Rathbone
Technical Recruiter | Hiring Software Engineers (Frontend, Backend, Full Stack) Open to connecting with developers & open-source contributors

Fourier Ltd London

@splade
Alex wang splade
@CoolRmal
Yongxi (Aaron) Lin CoolRmal
PhD student in math at Carnegie Mellon Univeristy. Interested in PDE, harmonic analysis, probability, and formal verification of math.
@Saoi2
Saoi2
@PhysShell
PhysShell
@aeRToE
aeRToE
@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@MrcPl
MrcPl
@NickAdfor
Nick Adfor NickAdfor
@jrpie
jrpie

Munich, Germany

@PhilRTFM
PhilRTFM
Computationnal Biology Student 🧬💻

France

@CodeTitanium
Levi Githaiga CodeTitanium
@motanelson
nelson jr mota motanelson
Hello from the world.

https://youtube.com/@nelsonmotamota-e5j Portugal, lisbon

@pelicanhere
pelican pelicanhere
Student
@hanjiadong0
Jiadong/Hans Han hanjiadong0
@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@slashbade
Yutong Wang slashbade
Automated theorem-proving, formalized mathematics, and representation theory

Peking University Beijing

@jganten
jganten
@dzetalabs
RustamHurmatulliin dzetalabs

DzetaLabs Russian Federation

@lalomorales22
lalo adrian morales lalomorales22
sd, ca | I make software for myself

@Comedeez-AI San Diego, CA

@Gohil-Rudra
Sheldon-Cooper Gohil-Rudra
@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@24601
Basit Mustafa 24601
Tell your agents I said hi.

CTO @ Procurement Sciences Telluride, CO

@HCHogan
Hank HCHogan
Living the slow life

Intern @plctlab

@m-ow
Maximiliano Onofre Martínez m-ow
@Baran-phys
Baran Hashemi Baran-phys

Max Planck Institute for Mathematics in the Sciences Leipzig

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@Julek
Julian Sutherland Julek
Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

@djvelimir
Velimir Đurković djvelimir
Senior Software Engineer

Novi Sad, Vojvodina, Serbia

@islajr01
islajr 🌱 islajr01
@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London

Carnegie Mellon University Pittsburgh, Pennsylvania, United States

@yokurang
Matthew A. yokurang
@lduranovic
Luka Duranovic lduranovic
Ph.D. candidate at Duke University working on systems, security, and formal verification

Duke University Durham, NC

@mo271
Moritz Firsching mo271

Google Basel, CH

@xuanYang
xuan-gottfried Yang xuanYang

independent researcher Germany

@daniele-bolla
Daniele Bolla daniele-bolla

London

@Robertboy18
Robert Joseph Robertboy18
Ph.D. Math & CS @caltech | Learning to become a better programmer

Caltech Los Angeles, CA

@MohammedSharukh
Mohammed Sharukh A MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics

PlanetSpark Kerala, India

@danielgavrila
danielgavrila
@Wanderkind
Jeongseop Lee Wanderkind

South Korea

@junyucao1024
Junyu Cao junyucao1024
PhD student in math at NYU (2024 - )

New York University

@roza
Gérard Rozsavolgyi roza
CS, Maths & Web

Marseille, France

@lkastner
Lars Kastner lkastner

Berlin

@lijungeometry
Jun Li lijungeometry
@salomartin
Martin Salo salomartin
Tech founder with a 15-year track record in AI, merging deep industry knowledge with fresh innovations in my upcoming venture.

London

@or4nge19
Matteo Cipollina or4nge19
BA Philosophy (Università Cattolica - Milano) MA Mathematical Logic & Philosophy of Science (Università Cattolica - Milano)