Skip to content
View icmccorm's full-sized avatar
23 followers · 19 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Block or report icmccorm

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
@bozhen-liu
Bozhen Liu bozhen-liu
I am an Assistant Professor at Texas A&M University-Corpus Christi.

Texas A&M University-Corpus Christi

@BorrowSanitizer
BorrowSanitizer BorrowSanitizer
Finding & fixing ownership bugs at scale.

United States of America

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@alexcrichton
Alex Crichton alexcrichton
@gradual-verification
Gradual Verification gradual-verification
@vasumv
vasumv
@plateau-workshop
plateau-workshop
@sychoo
Simon Chu sychoo
Software engineering PhD student at Carnegie Mellon

@SchoolofComputerScience Pittsburgh

@olydis
Johannes Bader olydis
Trying to make developer tools suck less and hacking on tree calculus. Interests: PL design, formal verification, automatic program repair, education.

New York City, USA

@JonathanAldrich
Jonathan Aldrich JonathanAldrich

Carnegie Mellon University Pittsburgh, PA, USA

@joshsunshine
Joshua Sunshine joshsunshine

Carnegie Mellon University Pittsburgh, PA

@cmumatt
Matt Davis cmumatt
Software Engineer, Ph.D Student @ Carnegie Mellon University School of Computer Science

Carnegie Mellon University Pittsburgh, PA

@wodeni
Wode "Nimo" Ni wodeni
arranging blobs in @penrose and @brilliantorg
@jennalwise
jennalwise
Assistant Professor in Electrical and Computer Engineering at Purdue University. I do research in programming language design and software verification.

Purdue University

@etanter
Éric Tanter etanter

University of Chile Santiago, Chile

@parvkpr
Parv Kapoor parvkpr
Ph.D. in Software Engineering

Carnegie Mellon University Pittsburgh

@samestep
Sam Estep samestep

CMU Pittsburgh, PA

@NyleSiddiqui
Nyle Siddiqui NyleSiddiqui
Ph.D student at UCF CRCV
@twodee
Chris Johnson twodee
I teach machines, and I teach people to teach machines.