Skip to content
View tchajed's full-sized avatar
345 followers · 16 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@mit-pdos @rocq-community

Block or report tchajed

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
@isubasinghe
Isitha Subasinghe isubasinghe
Programmer pretending to be a computer scientist. Senior Engineer @pipekit

@pipekit Melbourne

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@euisuny
Irene Yoon euisuny
@amaurremi
Marianna Rapoport amaurremi

Aarhus, Denmark

@joshpoll
Josh Pollock joshpoll
MIT CS Graduate student in @mitvis. Previously undergraduate member of @uwplse and @uwsampl.

MIT Cambridge, MA

@AjayBrahmakshatriya
Ajay Brahmakshatriya AjayBrahmakshatriya
PhD student. I try to make programs fast "most of the time"

Cambridge MA, USA

@paldepind
Simon Friis Vindum paldepind
I love writing code.

Copenhagen, Denmark

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@edauterman
Emma Dauterman edauterman
@ghost
Deleted user ghost
Hi, I'm @ghost! I take the place of user accounts that have been deleted. :ghost:

Nothing to see here, move along.

@shriram
Shriram Krishnamurthi shriram
Brown Computer Science || BootstrapWorld || Pyret || Racket

Brown University

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

Champaign, IL

@sorawee
sorawee
@anishathalye
Anish Athalye anishathalye

@cleanlab San Francisco, CA

@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai