Skip to content
View clayrat's full-sized avatar
260 followers · 137 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@imdea-software @statebox @purescripters @typedefs @coq-community @dpndnt @sequents

Block or report clayrat

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
@stefaniatadama
Stefania Damato stefaniatadama
PhD student

University of Nottingham

@mortberg
Anders Mörtberg mortberg

Sweden

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formally verified formal methods.

ENS Rennes, Saarland University, CISPA Saarbrücken

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@FabrizioRomanoGenovese
Fabrizio Romano Genovese FabrizioRomanoGenovese
Sleep first think never

20[ ] Italy

@Nsidorenco
Nikolaj Sidorenco Nsidorenco

InCommodities Denmark

@gabriel-fallen
Alexander Chichigin gabriel-fallen
ML/Software Engineer. Commit juggler.

Kontur Tbilisi, Georgia

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@eupp
Evgeniy Moiseenko eupp
Researcher in Programming Language Theory and Formal Verification.

JetBrains Research

@txa
Thorsten Altenkirch txa

The University of Nottingham Nottingham, UK

@Lapin0t
Lapinot Lapin0t
@g-jaber
Guilhem Jaber g-jaber
@Russoul
Ruslan Φ. Russoul

Tbilisi, Georgia

@jules-hedges
jules-hedges
@vasil-sd
vasil-sd
@andorp
Andor Penzes andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.

https://www.redbubble.com/shop/ap/92458473 London, United Kingdom

@zaklogician
Zoltan A. Kocsis zaklogician
Mathematical logic, software safety, static typing down under. Worked on seL4.
@oblivia-simplex
Olivia Lucca Fraser oblivia-simplex

Halifax

@wires
yellow wires
@pedrotst
Pedro Abreu pedrotst
PL PhD Student at Purdue

Indiana, USA

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@epost
Erik Post epost
lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation

@statebox Amsterdam

@cmcmA20
cmcmA20
@germanD
Germán Delbianco germanD
Incident Manager / R&D Comms @trilitech

Trilitech London

@pomadchin
Grigory pomadchin

@disneystreaming Philadelphia, PA

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

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

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@thefastman
Yury thefastman

own Brescia(BS), Italy

@bgavran
Bruno Gavranović bgavran
Principal Scientist - Categorical Deep Learning @symbolica-ai

Symbolica London, United Kingdom

@JoeyEremondi
Joey Eremondi JoeyEremondi
Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.

University of Regina Regina, Saskatchewan, Canada

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@andrevidela
André Videla andrevidela
@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@nikalaikina
Vera Nikalaikina nikalaikina
@andrejbauer
Andrej Bauer andrejbauer

University of Ljubljana Slovenia

@true-grue
Peter Sovietov true-grue

Moscow, Russia

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

University of Cambridge Cambridge, Cambridgeshire, UK

@noamz
noamz
@MrChico
MrChico
@fredrikNordvallForsberg
Fredrik Nordvall Forsberg fredrikNordvallForsberg

University of Strathclyde Glasgow, UK

@terjokhin
Alexey Terekhin terjokhin
Look at my tagless! My tagless is final!

Netherlands, Utrecht

@dlicata335
Dan Licata dlicata335
@Raleigh-Foster
Raleigh-Foster
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@brendanfong
Brendan Fong brendanfong
@jonaprieto
Jonathan Cubides jonaprieto
Read/write types and proofs for fun and profit. Better HoTT than cold.
@gasche
Gabriel Scherer gasche