Skip to content
View jfeser's full-sized avatar
46 followers · 89 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: 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.

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
@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 ⁙ Assistant Professor @ 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
Daniel Lemire is a computer science professor. His research is on software performance in data engineering.

Université du Québec (TELUQ) Montreal, 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
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@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

@nbraud
nicoo nbraud
Scribe of Cursed Runes

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

@stassa
Stassa Patsantzis stassa
AI PhD student at Imperial College London, studying Inductive Logic Programming.
@wfleurant
William Fleurant wfleurant

Germany

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@avsm
Anil Madhavapeddy avsm

University of Cambridge Cambridge, UK

@TyOverby
Ty Overby TyOverby
compilers are cool

New York City, Ny, USA

@fiigii
Fei Peng fiigii
Compiler Engineer at @NVIDIA

@NVIDIA Kirkland, WA

@pedrotst
Pedro Abreu pedrotst
PL PhD Student at Purdue

Indiana, USA

@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

University of Tokyo & Idein Inc. 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-io New York, NY, USA

@MattWindsor91
Matt Windsor MattWindsor91
All views my own.

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

Taridès Paris

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

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

Imandra (@imandra-ai) washington DC

@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@kach
Kartik Chandra kach

MIT CSAIL Stanford / MIT

@jiaweitang0202
Nan Tang jiaweitang0202

HKUST(GZ)

@Kapeli
Bogdan Popescu Kapeli

Kapeli

@pcwalton
Patrick Walton pcwalton

San Francisco, CA

@emeryberger
Emery Berger emeryberger
Professor of Computer Science, UMass Amherst; Amazon Scholar. Co-director of @plasma-umass, Scalene, Slipcover, Coz, Hoard, and more. Creator of CSrankings.

University of Massachusetts Amherst Amherst, MA