Skip to content
View jfeser's full-sized avatar
50 followers · 90 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@mitdbg @mit-cap

Block or report jfeser

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.

Content in all repositories owned by your account will be closed.
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
@GAIR-NLP
SII - Generative Artificial Intelligence Research Lab (GAIR) GAIR-NLP
GAIR is part of SII, focusing on Generative Artificial Intelligence Research, with joint effort from SJTU.
@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@ocaml-flambda
The Flambda project for OCaml ocaml-flambda
@kavigupta
Kavi Gupta kavigupta
PhD student at MIT

MIT Cambridge, MA

@ellisk42
Kevin Ellis ellisk42
@cyrus-
Cyrus Omar cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ prof @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist

University of Michigan Ann Arbor, MI

@carolemieux
Caroline Lemieux carolemieux

University of British Columbia

@jshun
jshun
@lemire
Daniel Lemire lemire
Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers.

Université du Québec (TELUQ) Montreal, Quebec, Canada

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@mangpo
Phitchaya Mangpo Phothilimthana mangpo

Google

@swaratchaudhuri
Swarat Chaudhuri swaratchaudhuri
CS prof

UT Austin Austin, Texas

@congy
congy
@tchajed
Tej Chajed tchajed
Research scientist at Theorem. Former professor at UW-Madison.

Theorem San Francisco, CA

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

Champaign, IL

@taktoa
Remy Goldschmidt taktoa
Compiler guy

@MatX-inc /nix/store

@bmsherman
Ben bmsherman

MIT CSAIL

@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@andersfugmann
Anders Peter Fugmann andersfugmann

Denmark

@amaurremi
Marianna Rapoport amaurremi

Aarhus, Denmark

@nicoonoclaste
nicoo nicoonoclaste
Scribe of Cursed Runes

@Debian ⊕ @NixOS Earth, Orion-Signus arm, Milky Way

@stassa
Stassa Patsantzis stassa
Post-doc researcher in Inductive Logic Programming.
@wfleurant
William Fleurant wfleurant

Germany

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@TyOverby
Ty Overby TyOverby
compilers are cool

New York City, Ny, USA

@fiigii
Fei Peng fiigii
GPU and Compiler Engineer at @NVIDIA

@NVIDIA Kirkland, WA

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@TiarkRompf
Tiark Rompf TiarkRompf

Faculty at Purdue University

@Calvin-L
Calvin Loncaric Calvin-L

Seattle, WA

@ahejlsberg
Anders Hejlsberg ahejlsberg
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.

Microsoft Redmond, WA, USA

@jrevels
Jarrett Revels jrevels
Cofounder / CTO @ Beacon Biosignals

Beacon Biosignals Brooklyn, NY

@akalenuk
Oleksandr Kaleniuk akalenuk
Ukrainian software engineer

Ukraine

@ezyang
Edward Z. Yang ezyang

New York, NY

@nadia-polikarpova
Nadia Polikarpova nadia-polikarpova

UC San Diego

@nyuichi
Yuichi Nishiwaki nyuichi

Tokyo, Japan

@utshina
Takahiro Shinagawa utshina
Professor of Computer Science at The University of Tokyo. His expertise is in Operating Systems, Virtualization, and Computer Security.

The University of Tokyo Japan

@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-ai New York, NY, USA

@MattWindsor91
Matt Windsor MattWindsor91
Views my own. Repositories owned by me, or contributions made outside of my work, are not endorsed by (or indicative of the views of) my employer.

Anaplan York, United Kingdom

@johnwhitington
John Whitington johnwhitington

Cambridge, England

@ichistmeinname
Sandra Dylus ichistmeinname
holds PhD in PL; likes functional programming languages

@Cap3 Germany, Kiel

@trefis
Thomas Refis trefis

France

@vchuravy
Valentin Churavy vchuravy
Research Software Engineer/PostDoc working on @JuliaLang Formerly @JuliaLabs @mit.

Mainz, Germany

@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.

https://ahrefs.com/ washington DC

@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@kach
Kartik Chandra kach

MIT CSAIL Cambridge, MA

@jiaweitang0202
Nan Tang jiaweitang0202

HKUST(GZ)

@Kapeli
Bogdan Popescu Kapeli

Kapeli

@pcwalton
Patrick Walton pcwalton

San Francisco, CA