Skip to content
View nmvdw's full-sized avatar
49 followers · 94 following

Achievements

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

Achievements

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

Block or report nmvdw

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
@damast93
damast93
@jcommelin
Johan Commelin jcommelin

— —

@iwilare
Andrea Laretto iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？

Tallinn University of Technology Tallinn, Estonia

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@loic-p
Loïc Pujet loic-p
@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@ElifUskuplu
ElifUskuplu
@agarmu
Mukul Agarwal agarmu
Math + Computer Science Honors @ Purdue

United States

@smimram
Samuel Mimram smimram
@phijor
Philipp Joram phijor
@varkor
varkor varkor
Type theorist and Rust compiler developer.
@jpoiret
Josselin Poiret jpoiret

Europe

@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@FrozenWinters
Astra Kolomatskaia FrozenWinters
Studies mathematics.

Wesleyan University

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

Brazil

@colltoaction
Martin Coll colltoaction
Let's rethink computing

🇦🇷

@topological-modular-forms
Emily topological-modular-forms
@jaycech3n
Josh Chen jaycech3n

University of Nottingham

@FernandoChu
Fernando Chu FernandoChu
Math, logic and programming, I like them all the same.

Utrecht, Netherlands

@fredrik-bakke
Fredrik Bakke fredrik-bakke

NTNU Norway

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@thamugadi
aramya thamugadi

Morocco

@vikraman
Vikraman Choudhury vikraman
Marie Skłodowska-​Curie Fellow

Università di Bologna Bologna, Italy

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ
@Y-jiji
Andy Yang Y-jiji
There's still another million miles to come.

MSCS @ Georgia Tech Atlanta

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@erupmi
Erika Tse erupmi
My personality type is dependent type.
@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@v-moreau
Vincent Moreau v-moreau
PhD student in CS @ IRIF

Paris, France

@dom-verity
Dominic Verity dom-verity
Category Theorist and programmer by day, bad drummer by night.

Macquarie University North Ryde, Sydney, NSW 2109, Australia

@uemurax
Taichi Uemura uemurax
@tetrapharmakon
fouche tetrapharmakon
Category theorist, coend sifu. Member of https://compose.ioc.ee

https://compose.ioc.ee Tallinn, Estonia

@akuklev
Alexander Kuklev akuklev

@JetBrains Göttingen/Germany

@nimarasekh
Nima Rasekh nimarasekh
I am a postdoc at the Max Planck Institute for Mathematics. I am mostly interested in category theory and the formalization of categorical structures.

Max Planck Institute for Mathematics Bonn, Germany

@stefaniatadama
Stefania Damato stefaniatadama
PhD student

University of Nottingham

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@paigenorth
Paige Randall North paigenorth
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA. Avatar: (c) Cafenated, Berkeley, CA. https://cafenated.myshopify.com

Chapman University Orange, CA

@HermesMarc
Marc Hermes HermesMarc

Nijmegen

@Kfwullaert
Kobe Wullaert Kfwullaert

TU Delft

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité Paris, France

@chunfeilung
Chun Fei Lung chunfeilung
Just another software development engineer at a public broadcaster and university of applied sciences.

NOS / HU University of AS Utrecht The Netherlands, European Union 🇳🇱🇪🇺

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

University of Birmingham Birmingham, UK

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@garyzhubc
Peiyuan Zhu garyzhubc

University of British Columbia Vancouver, BC

@janawagemaker
janawagemaker
@YouyouCong
Youyou Cong YouyouCong
All I need is continuations.

Tokyo Institute of Technology Tokyo, Japan