Skip to content
View jcp19's full-sized avatar
154 followers · 256 following

Block or report jcp19

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
@mitchellh
Mitchell Hashimoto mitchellh

Los Angeles, CA

@VerifyThis2025
VerifyThis2025
@mit-plv
Programming Languages and Verification Group at MIT CSAIL mit-plv

MIT CSAIL, Building 32–G8

@verus-lang
verus-lang
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
@protz
Jonathan Protzenko protz
This is my personal account for personal projects. See @msprotz for my Microsoft (MS) contributions.

Seattle

@gavinleroy
Gavin Gray gavinleroy

Brown University

@amaurremi
Marianna Rapoport amaurremi

Aarhus, Denmark

@mtzguido
Guido Martínez mtzguido

Microsoft Research Seattle

@zeldovich
Nickolai Zeldovich zeldovich
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@dc-mak
Dhruv Makwana dc-mak
I am a Computer Science PhD candidate at the University of Cambridge.

Cambridge, UK

@AeneasVerif
AeneasVerif
@arsene1995
shan arsene1995
@nuno-faria
Nuno Faria nuno-faria
@verse-lab
Verified Systems Engineering Lab verse-lab
Research Group at NUS School of Computing

Singapore

@jaybosamiya-ms
Jay Bosamiya (Microsoft) jaybosamiya-ms
Professional account for @jaybosamiya

Microsoft Research Redmond, WA

@henriman
henriman henriman
Computer Science Student @ ETH Zürich
@gottschali
Ali gottschali
Student of Computer Science.

Switzerland

@HSMF
HSMF
minimalism was invented by Big Small to sell more less
@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@romshark
Roman Sharkov romshark
SWE

scion.org Zurich, Switzerland

@MackieLoeffel
MackieLoeffel

Germany

@rayman2000
Nicolas Klose rayman2000
PhD Candidate in the Programming Methodology group at ETH Zurich

@viperproject

@viper-admin
viper-admin
Viper project's bot

ETH Zurich

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@scionassociation
SCION Association scionassociation

Switzerland

@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

@wilcoxjay
James Wilcox wilcoxjay

University of Washington Seattle, Washington

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@feliperodri
Felipe R. Monteiro feliperodri

Amazon Web Services @aws New York

@principled-systems
Principled Systems @ MPI-SWS principled-systems
The Principled Systems Group designs, implements, and verifies systems software, focusing on the advancement of tooling and methodology for systems verification
@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@dsrhaslab
dsrhaslab
@teorth
teorth
@Marghrid
Margarida Ferreira Marghrid
Computer Science PhD student at Carnegie Mellon University and Técnico Lisboa

Carnegie Mellon University Pittsburgh, PA, USA

@alex-lew
Alex Lew alex-lew

MIT (@probcomp) Cambridge, MA

@benschlueter
Benedict Schlüter benschlueter
Interested in system security, cryptography, cloud native, and OS stuff

ETH Zurich Zurich

@kyouko-taiga
Dimi Racordon kyouko-taiga
Language designer, compiler engineer, cheese lover, casual runner, and Starcraft 2 player, in no particular order.
@matthias-brun
Matthias matthias-brun
@msprotz
Jonathan Protzenko msprotz
This is my professional GitHub account to record my contributions with my @microsoft (MS) employee hat on. My open-source work is done with the @protz hat on

Microsoft Redmond, WA

@mjschwenne
Matt Schwennesen mjschwenne
PhD student at the University of Wisconsin, Madison.

University of Wisconsin, Madison Madison, WI

@dedeswim
Edoardo Debenedetti dedeswim
RS Intern at @facebook | PhD Student @ethz-spylab | ETH Zurich | ML security & privacy

@ethz-spylab Switzerland

@cvc5
cvc5 cvc5
@JoJoDeveloping
Johannes Hostert JoJoDeveloping
PhD Student @ ETH Zurich, since October 2023

ETH Zurich Zürich, Switzerland

@secure-foundations
Secure Foundations Lab secure-foundations
We investigate long-term, fundamental improvements in how to design and build secure systems.
@ivanbakel
Isaac van Bakel ivanbakel
Haskell developer, programming language & formal verification theorist
@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@ahuoguo
Alex Bai ahuoguo

New York University