Skip to content
View jozefg's full-sized avatar
476 followers · 28 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Organizations

@type-theory

Block or report jozefg

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
@eisenbud
David Eisenbud eisenbud

MSRI Berkeley, CA

@ohad
Ohad Kammar ohad
@FlorianAdler
FlorianAdler
@kyoDralliam
Kenji Maillard kyoDralliam
@co-dan
Daniel Frumin co-dan

Groningen

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@cangiuli
Carlo Angiuli cangiuli
@adrieng
Adrien Guatto adrieng

France

@ecavallo
Evan Cavallo ecavallo

Göteborgs universitet

@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@mir-ikbch
Mirai IKEBUCHI mir-ikbch
@mortberg
Anders Mörtberg mortberg

Sweden

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@Saizan
Andrea Vezzosi Saizan
@guillaumebrunerie
Guillaume Brunerie guillaumebrunerie
Developer at ELK Studios. Working with Typescript, React, Redux, and Go.

Stockholm, Sweden

@UlrikBuchholtz
Ulrik Buchholtz UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics

University of Nottingham

@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@mr-ohman
Joakim Öhman mr-ohman
@bobatkey
Bob Atkey bobatkey

Edinburgh, UK

@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

@rowandavies
Rowan Davies rowandavies

Commonwealth Bank of Australia Sydney, Australia

@pigworker
Conor McBride pigworker

Glasgow

@chrisamaphone
Chris Martens chrisamaphone

Northeastern University

@robsimmons
Robert J. Simmons robsimmons

Boston, MA

@gallais
G. Allais gallais

Glasgow, Scotland

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

University of Cambridge Cambridge, Cambridgeshire, UK