Skip to content
View shwestrick's full-sized avatar
120 followers · 70 following

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

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

University of Minnesota Minneapolis, MN, USA

@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

EnterpriseDB NYC

@robsimmons
Robert J. Simmons robsimmons

Boston, MA

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

UC Berkeley Berkeley

@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

@vmchale
Vanessa McHale vmchale
Programmer
@superfunc
superfunc
programmer. making games.

Yoyogi Games Los Angeles

@jmct
Jose Calderon jmct
Executive Director of the Haskell Foundation

Haskell Foundation

@hwayne
Hillel Wayne hwayne

Chicago

@topaz
Eric Wastl topaz
@nrnrnr
Norman Ramsey nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.

Tufts University Malden, Mass, USA