Skip to content
View jcp19's full-sized avatar
143 followers · 234 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
@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
@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
Student Researcher @google | PhD Student @ethz-spylab | ETH Zürich | ML security & privacy

@google | @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
ahuoguo ahuoguo
Alexander Bai

Tufts University

@Dev-XYS
Yushuo Xiao Dev-XYS
Master's student at ETH Zürich

ETH Zürich Zürich, Switzerland

@janestreet
Jane Street janestreet
@rudynicolop
Rudy Peterson rudynicolop
@anqili426
Anqi Li anqili426
@dwrensha
David Renshaw dwrensha

Pittsburgh, PA

@rod-chapman
Roderick Chapman rod-chapman
Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.

Amazon Web Services UK

@zenodo
Zenodo zenodo
Research. Shared.

Switzerland

@tjhance
Travis Hance tjhance
Carnegie Mellon University
@dnezam
Daniel Nezamabadi dnezam
Master's student in Computer Science at ETH Zurich.
@AlexanderViand-Intel
Alexander Viand AlexanderViand-Intel
Making FHE accessible @IntelLabs personal account: @AlexanderViand

Intel Labs Zurich, Switzerland

@zilberstein
Noam Zilberstein zilberstein
PhD Student at Cornell University researching Programming Languages, Logic, and Semantics

Cornell University Ithaca, NY

@gauravpartha
gauravpartha
@JanBessai
Jan Bessai JanBessai

itemis

@mschwerhoff
Malte Schwerhoff mschwerhoff
@GaloisInc
Galois, Inc. GaloisInc

Portland, OR

@adem-wg
adem-wg
@twpayne
Tom Payne twpayne
Creator of chezmoi.io. Gopher, paraglider pilot, and geospatial developer.

Zürich, Switzerland

@deepakn94
Deepak Narayanan deepakn94
Research scientist at NVIDIA.

@NVIDIA Bellevue, WA

@angelhof
Konstantinos Kallas angelhof
Assistant Professor of CS at UCLA

UCLA Computer Science Los Angeles, CA - Athens, GR

@shuvendu-lahiri
Shuvendu Lahiri shuvendu-lahiri
Researcher in formal methods, verification, and software engineering.

@Microsoft Redmond, WA

@jaylorch
Jay Lorch jaylorch

Microsoft Bellevue, WA

@parno
Bryan Parno parno

Carnegie Mellon University