Skip to content
View favonia's full-sized avatar
😵‍💫
low bandwidth
😵‍💫
low bandwidth
314 followers · 64 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Organizations

@clf @g0v

Block or report favonia

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
@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@teorth
teorth
@wits-workshop
wits-workshop
@fpvandoorn
Floris van Doorn fpvandoorn

University of Bonn Bonn

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@amintimany
Amin Timany amintimany
Associate professor of computer science in the logic and semantics research group (@logsem) at Aarhus University.

Aarhus University Aarhus, Denmark

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

Utrecht, Netherlands

@javra
Jakob von Raumer javra
@vikraman
Vikraman Choudhury vikraman
Marie Skłodowska-​Curie Fellow

Università di Bologna Bologna, Italy

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@nmvdw
Niels van der Weide nmvdw
@nadia-polikarpova
Nadia Polikarpova nadia-polikarpova

UC San Diego

@juniorxxue
Xu Xue juniorxxue

University of Hong Kong

@dannypsnl
Lîm Tsú-thuàn dannypsnl
巫術 • 展開

Taiwan

@kentookura
Kento Okura kentookura
Working on forester.
@josh-hs-ko
Josh Ko josh-hs-ko

Institute of Information Science, Academia Sinica Taipei, Taiwan

@RedPRL
RedPRL RedPRL
Uphold Cubical Thought!
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@niekveldhuis
Niek Veldhuis niekveldhuis
Professor of Assyriology at UC Berkeley; member of the @oracc steering committee; senior fellow of the Berkeley Institute of Data Science.

UC Berkeley

@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@rzk-lang
rzk proof assistant, satellite tools, and formalisations rzk-lang
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@MatthewDaggitt
Matthew Daggitt MatthewDaggitt
@anuyts
anuyts

KU Leuven

@MatthiasHu
Matthias Ritter (formerly Hutzler) MatthiasHu
@Kaptch
Sergei Stepanenko Kaptch
Ph.D. student in the Logic and Semantics group, Aarhus University.

Aarhus

@psb1558
Peter Baker psb1558
Retired professor of medieval English literature; amateurish font designer.

University of Virginia Charlottesville, Virginia

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@rougier
Nicolas P. Rougier rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.

@INRIA Bordeaux, France

@choukh
Chou Kyuhei choukh
Interactive theorem proving Programming maths

Tokyo

@permui
Aoyang Yu permui
Senior in Computer Science, interested in programming language theory.

Zhejiang University Hangzhou, China

@alejandroag
Alejandro Aguirre alejandroag
Postdoc at the Computer Science department of Aarhus University
@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@benediktahrens
Benedikt Ahrens benediktahrens

Delft University of Technology, NL

@cangiuli
Carlo Angiuli cangiuli
@mortberg
Anders Mörtberg mortberg

Sweden

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

McMaster University Hamilton, ON

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@kyoDralliam
Kenji Maillard kyoDralliam
@mmcqd
Matthew McQuaid mmcqd
I like type theory and functional programming languages

San Francisco

@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

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

Brazil

@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

@elpinal
El Pin Al elpinal
Abstract behavior
@xuanruiqi
Xuanrui Qi xuanruiqi
Mostly a mathematician now, but still hacking some Coq and tinkering with Arch Linux.

Graduate School of Mathematics, Nagoya University Nagoya, Japan

@ghost-not-in-the-shell
ghost!@shell ghost-not-in-the-shell