Skip to content
View jaalonso's full-sized avatar
165 followers · 387 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Block or report jaalonso

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
@medovina
Adam Dingle medovina

Faculty of Mathematics and Physics, Charles University Prague, Czech Republic

@RemyDegenne
Rémy Degenne RemyDegenne

Inria Lille

@C-h-r-i-s-x
Christopher Schmidt C-h-r-i-s-x

Secunet Germany

@nick-kuhn
nick-kuhn
@ianjauslin-rutgers
Ian Jauslin ianjauslin-rutgers
@pitmonticone
Pietro Monticone pitmonticone
Mathematics @unitrento || Formalising in @leanprover || Developing in @JuliaLang.

University of Trento Trento, Italy

@marcusrossel
Marcus Rossel marcusrossel

Technische Universität Dresden Dresden, Germany

@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Marseille

@tobiasgrosser
Tobias Grosser tobiasgrosser

University of Cambridge Cambridge

@Garmelon
Garmelon
@DanielFabian
Daniel Fabian DanielFabian

Microsoft Bern

@joehendrix
Joe Hendrix joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.

Principal Research Software Engineer at Lean FRO Portland, OR

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@Vtec234
Wojciech Nawrocki Vtec234

Pittsburgh, USA

@soonhokong
Soonho Kong soonhokong

Amazon Web Services

@tydeu
Mac Malone tydeu

Lean FRO United States

@alexkeizer
Alex Keizer alexkeizer
PhD Student @ University of Cambridge

University of Cambridge Cambridge

@mhuisi
Marc Huisinga mhuisi

Lean FRO Munich, Germany

@Rastrian
Luis Vaz Rastrian
I write code and sometimes talk about audio and music.

@cloudwalk (x, y, z) ↦ x*x + y*y + z*z

@TwoFX
Markus Himmel TwoFX
I used to work in an office

Lean FRO Karlsruhe, Germany

@Zegeri
Diego Pedraza Zegeri
@chemacortes
Chema Cortés chemacortes
Programmer: an artist who can see formal patterns inside a model and has the ability to make a new order with them.

DGA Zaragoza, Spain

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@tkersey
Tim Kersey tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich

@thisisartium Los Angeles, CA

@nihilismus
Antonio Hernández Blas nihilismus
(def me #{:developer :🇲🇽 :🤔 :ᴎ :⌀ :⠠⠵ {:♥ [:free-open-source :φ :ƒ :λ :Ⓐ :Ⓔ :😺 :☕ :🍺 :🎧 :📚]}})

Mexico

@VillarPedr0
Pedro Villar VillarPedr0

Facultad de Matemática, Astronomía, Física y Computación Cordoba, Argentina

@aarroyoc
Adrián Arroyo Calle aarroyoc
Illuminati confirmed

@Telefonica Valladolid, Spain

@PedroMVillar
Pedro Villar PedroMVillar

Facultad de Matemática, Astronomía, Física y Computación Cordoba, Argentina

@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

@alirezadehbozorgi
Alireza Dehbozorgi alirezadehbozorgi
Researcher and Consultant at Xzistor Labs (https://www.xzistor.com/) & Google DeepMind, London, UK. Senior Linguistics and AI Researcher.

Xzistor Labs, Google DeepMind London, UK

@mo271
Moritz Firsching mo271

Google Research Basel, CH

@rami3l
rami3l rami3l
Le vent se lève ! Il faut tenter de vivre.
@loganrjmurphy
Logan Murphy loganrjmurphy
Formal Methods @ University of Toronto

Toronto, Ontario, Canada

@wellecks
Sean Welleck wellecks

Carnegie Mellon University Pittsburgh

@teorth
teorth
@AlexKontorovich
Alex Kontorovich AlexKontorovich
Mathematics Professor
@chenjulang
chenjulang
@jfmc
Jose F. Morales jfmc
Interested in logic (and) programming.
@marijnheule
Marijn Heule marijnheule

Carnegie Mellon University Pittsburgh

@arademaker
Alexandre Rademaker arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.

IBM Research and EMAp/FGV Rio de Janeiro

@joelriou
Joël Riou joelriou
Mathematician at University Paris-Saclay

Orsay, France

@kmill
Kyle Miller kmill

Santa Cruz, California

@j-loreaux
Jireh Loreaux j-loreaux

Edwardsville, IL

@riccardobrasca
Riccardo Brasca riccardobrasca

Paris

@mattrobball
Matthew Robert Ballard mattrobball
I am a mathematician who sometimes fantasizes about being a physicist and/or computer scientist, depending on the day.

University of South Carolina Columbia, South Carolina, USA

@Vierkantor
Anne Baanen Vierkantor
@urkud
Yury G. Kudryashov urkud
Formalization lead at @harmonic-ai

Harmonic AI Palo Alto

@haruhisa-enomoto
Haruhisa Enomoto haruhisa-enomoto
a postdoc majoring in the representation theory of algebras
@kaushalmodi
Kaushal Modi kaushalmodi
Command-line, emacs, Org mode, hugo, Nim

@analogdevicesinc North Carolina, USA

@ToposInstitute
Topos Institute ToposInstitute