Skip to content
View PhDP's full-sized avatar
🏠
Working from home
🏠
Working from home

Organizations

@TheoreticalEcosystemEcology @QUICC-FOR @PoisotLab

Block or report PhDP

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
@axiomed
Axiomed axiomed
Lean4 for software engineers.
@acornprover
Acorn acornprover
The acorn theorem prover.

United States of America

@Ying1123
Ying Sheng Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@mattfaltyn
Matt Faltyn mattfaltyn
Technical Lead @ Trilemma Foundation

Trilemma Foundation Vancouver, BC, Canada

@plt-amy
Amélia Liao plt-amy
Homotopy type theorist ✨

Brazil

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

Johns Hopkins University Baltimore, MD

@Darksonn
Alice Ryhl Darksonn
Maintainer of Tokio.

Google Denmark

@TanyaS08
Tanya Strydom TanyaS08
Dinosaur web weaver at @BecksLab, former padawan @PoisotLab, and occasional data visualiser

University of Sheffield

@sandogeorge
Sando George sandogeorge
Still trying to find my purpose in this world. Building software in the meantime. I'm interested in Python developer roles.

Vorso Computing, Inc. Guyana, South America

@SteveViss
Steve Vissault SteveViss
Data scientist / Software developer Cofounder at @inSilecoInc

inSileco Saint-Pascal

@vagmcs
Evangelos vagmcs
Computer Scientist | PhD in AI

Switzerland

@dmesquita
Déborah Mesquita dmesquita
AI Research Scientist

Recife, Brazil

@Idaline
Idaline Idaline
Between ecology and computing.

PatriNat (MNHN-OFB_CNRS-IRD) Chamonix, France

@filannim
Michele Filannino filannim

Prometeia, MIT CSAIL, SUNY Milan, Italy

@MarisaKirisame
霧雨魔理沙 MarisaKirisame
Ordinary Magician

魔法の森, Gensokyo

@vitaut
Victor Zverovich vitaut
🤍❤️🤍 Carbon-based open sourcerer, author of {fmt}, C++20 std::format and C++23 std::print

Meta Laniakea Supercluster

@mathias-brandewinder
Mathias Brandewinder mathias-brandewinder
Figuring out things, one model at a time. F# globe-trotter. @brandewinder on the fediverse.

San Francisco

@lenadroid
Lena lenadroid
Co-Founder of Droid AI. Ex @aws. Ex @microsoft and @MSFTResearch. Architect. Speaker. Organizer @ml4all. Board member @fsharp. Committee @kafkasummit.

Akamai Redmond WA

@mitmul
Shunta Saito mitmul
Ph.D in Engineering, Kaggle Master, Researcher at Preferred Networks, Inc.

@pfnet Tokyo, Japan

@gvdr
Giulio Valentino Dalla Riva gvdr
Statistics Advisor @PacificCommunity and Director @Baffelan. Ex-academic, Data Scientist, keen on ecology, evolution, networks, mountains, maths, diving, poetry

Pacific Community | Communauté du Pacifique Noumea, New Caledonia

@audy
Austin Richardson audy
Head of Bioinformatics @onecodex

@OneCodex San Francisco, CA

@tpoisot
Timothée Poisot tpoisot
Professor of Quantitative & Computational Ecology. Interested in network theory, machine learning, and data science.

Université de Montréal Montréal, Québec, Canada