Skip to content
View co-dan's full-sized avatar
103 followers · 101 following
  • Groningen

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Organizations

@ghcjs @UniMath @FundamentalComputing

Block or report co-dan

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@OldMan6955
OldMan#6955 OldMan6955
Senior Designer at Clacktivist Studios and 40s OG since 2020.

The Internet

@awswan
Andrew Swan awswan

University of Ljubljana Ljubljana

@FundamentalComputing
Fundamental Computing Group FundamentalComputing

Netherlands

@JuneRousseau
June Rousseau JuneRousseau
CS Ph.D Student @logsem at Aarhus University
@thery
Laurent Théry thery

INRIA Sophia Antipolis, France

@ddustegor
Dilek Dustegor ddustegor
@hhhansenrug
hhhansenrug
@TinaDalmas
TinaDalmas
@greati
Vitor Greati greati
Master in Systems and Computing (UFRN). PhD student at the University of Groningen, working on computational properties of nonclassical logics via proof theory.

University of Groningen Groningen, The Netherlands

@aaarsene
Arsène Thieffry aaarsene

France

@Armael
Armaël Guéneau Armael

Inria Paris-Saclay

@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@stefaniatadama
Stefania Damato stefaniatadama
Postdoc

Eötvös Loránd University

@Kaptch
Sergei Stepanenko Kaptch
Postdoc in the PLS group, Aarhus.

Aarhus

@aalen9
aalen9
@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@Revantha-Ramanayake
Revantha-Ramanayake
@consequently
Greg Restall consequently
@olaure01
Olivier Laurent olaure01
@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@Lesly-Ann
Lesly-Ann Daniel Lesly-Ann
Assistant Professor @ Eurecom Interested in formal methods for low-level security.

Eurecom Biot, France

@japerezp
Jorge A. Pérez japerezp
@aslanix
Aslan Askarov aslanix

Aarhus University Aarhus, DK

@mt-caret
mt_caret mt-caret
typing under the influence
@paigenorth
Paige Randall North paigenorth
@bob-carpenter
Bob Carpenter bob-carpenter
I work on statistical inference algorithms, the Stan probabilistic programming language, Bayesian methodology, and scientific applications.

Flatiron Institute New York

@yforster
Yannick Forster yforster
Researcher in the Cambium Team at Inria Paris

Inria Paris

@lars-birkedal
lars-birkedal
@ageorg29
Aina Linn Georges ageorg29
@keikonakata
Keiko Nakata keikonakata
Programming, constructive mathematics and topology, which are all beautifully related.
@jvdwetering
John van de Wetering jvdwetering
I am an assistant professor at the University of Amsterdam. My research focuses on the theory of quantum computation.

University of Amsterdam Amsterdam, The Netherlands

@btoninho
Bernardo Toninho btoninho
@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@uemurax
Taichi Uemura uemurax
@paldepind
Simon Friis Vindum paldepind
I love writing code.

Copenhagen, Denmark

@basvdheuvel
Bas van den Heuvel basvdheuvel

Karlsruhe University of Applied Sciences / University of Freiburg

@charguer
Arthur Charguéraud charguer
@jgm
John MacFarlane jgm

Berkeley, CA

@backtracking
Jean-Christophe Filliatre backtracking
@llee454
Larry Darryl Lee Jr. llee454
Welcome to my GitHub page! Here you will find a collection of my personal projects and links to some of my professional work. https://orcid.org/0000-0002-712

Baltimore, MD

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

@Lysxia
Xia Li-yao Lysxia
@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@lynn
Lynn lynn

@SecureDNA Antwerp, Belgium

@guenchi
guenchi
Linguist who do not want to be a hacker is not a good novelist. Novelist, Poet, Linguist, Phonetician, CreateLanguageExpert, NLP Expert, Entrepreneur, Gourmet

Paris, France

@jhjourdan
Jacques-Henri Jourdan jhjourdan

CNRS, LMF Paris

@abizjak
Aleš Bizjak abizjak

Aarhus, Denmark

@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom