Skip to content
View shwestrick's full-sized avatar
122 followers · 76 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report shwestrick

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.

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
@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@nyu-parcour
ParCour nyu-parcour
ParCour is a research group in the CS Department at NYU Courant. Our research spans a number of topics related to PL, parallelism, compilers, and algorithms
@rtjoa
Ryan Tjoa rtjoa
@TheNumbat
Max Slater TheNumbat
Computer Graphics, Programming, Math, OxCaml, C++
@alpha-convert
Joseph Cutler alpha-convert
PhD student at Penn
@ratsclub
Victor Freire ratsclub

@Form-Factory

@mgree
Michael Greenberg mgree

Stevens Institute of Technology New Jersey

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@wies
Thomas Wies wies

New York University New York

@EkanshdeepGupta
Ekanshdeep Gupta EkanshdeepGupta
@nyu-acsys
NYU ACSys nyu-acsys
NYU Analysis of Computer Systems (Formal Methods) group

New York City, NY

@svishnus
Sundara Vishnu svishnus
PhD in CS @nyu-parcour

Courant Institute, NYU New York, NY

@Forthoney
Seong-Heon Jung Forthoney
PhD student at New York University

@nyu-parcour NYC / Seoul, S.Korea

@TyOverby
Ty Overby TyOverby
compilers are cool

New York City, Ny, USA

@feeley
Marc Feeley feeley

Université de Montréal Montréal, Canada

@sampsyo
Adrian Sampson sampsyo
Hi! I'm a terrifying Cornell professor, the kindly progenitor of @beetbox, and pretty into The Magnetic Fields. 6'2".

Cornell University Ithaca, NY

@ccasin
Chris Casinghino ccasin
I write programs.
@darshand15
darshand15
@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@nadia-polikarpova
Nadia Polikarpova nadia-polikarpova

UC San Diego

@samestep
Sam Estep samestep

CMU Pittsburgh, PA

@nobrakal
Alexandre Moine nobrakal

New York - USA

@sr7cb
Sanil Rao sr7cb
@favonia
favonia favonia
Teaching at U of Minnesota
@zoep
Zoe Paraskevopoulou zoep
Assistant Prof 🎓 Programming Languages and Verification 💜 Rocq, Haskell

National Technical University of Athens Athens, Greece

@kni
kni
@smuller
Stefan Muller smuller
Assistant Professor, University of Connecticut

Connecticut, US

@igstan
Ionuț G. Stan igstan

Eloquentix Bucharest, Romania

@willcrichton
Will Crichton willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.

Brown University Providence, RI

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

University of Cambridge Cambridge, Cambridgeshire, UK

@sgeisenh
Samuel Eisenhandler sgeisenh

Pittsburgh

@elpinal
El Pin Al elpinal
Abstract behavior
@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

@ltratt
Laurence Tratt ltratt
Programmer, researcher. Software Development Team, King's College London

@softdevteam Somerset / London

@eatonphil
Phil Eaton eatonphil
Research and analysis for experienced developers @theconsensuslabs

Consensus Labs, LLC NYC

@robsimmons
Robert J. Simmons robsimmons

Boston, MA

@ivanium
Yifan Qiao ivanium
@Inferact | ex-Postdoc at UC Berkeley | PhD from UCLA

Inferact SF

@KeenS
κeen KeenS
Rustacean, Lisper, MLer, Compiler Writer

Preferred Networks Inc. Tokyo, Japan

@evincarofautumn
Jon Purdy evincarofautumn
Programming language technologist

SFBA

@Munksgaard
Philip Munksgaard Munksgaard

@leaf-insurance Denmark

@HackerPoet
HackerPoet
Also known as CodeParade, I run a YouTube channel.

CodeParade United States

@bpowers
Bobby Powers bpowers

Stripe, PLASMA @ UMass Seattle, WA

@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

@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@maxbrunsfeld
Max Brunsfeld maxbrunsfeld

Portland, OR

@ssloy
Dmitry V. Sokolov ssloy
@eldesh
eldesh eldesh

Tokyo

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland