Skip to content
View manishkk's full-sized avatar
🌊
Waiting for apocalypse
🌊
Waiting for apocalypse
38 followers · 65 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report manishkk

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
@alexander-shen
Alexander SHEN alexander-shen

Alexander SHEN

@bjrtx
Bruno Jartoux bjrtx

France

@Swastik1993
Swastik Biswas Swastik1993

Kearny, New Jersey, USA

@vukolic
Marko Vukolic vukolic
@will62794
William Schultz will62794
Staff Research Engineer at MongoDB.

@mongodb Cambridge, MA

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@marco-c
Marco Castelluccio marco-c

@mozilla Napoli

@andrew-appel
Andrew Appel andrew-appel
Professor Emeritus of Computer Science

Princeton University Princeton, NJ

@schulzchristian
Christian Schulz schulzchristian
Professor in Computer Science working on Scalable Graph Algorithms

Heidelberg University Heidelberg, Germany

@RustanLeino
Rustan Leino RustanLeino
Lover by day, hacker by night

Amazon Web Services Seattle, WA, USA

@bieniusa
Annette Bieniusa bieniusa
RPTU Kaiserslautern-Landau

RPTU Kaiserslautern-Landau Kaiserslautern

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@rajuramj
Raju Ram rajuramj

Fraunhofer ITWM, HPC Group

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@beurdouche
Benjamin Beurdouche beurdouche
Security Researcher working on Formal Methods, Cryptography, and Security & Privacy protocols.

Mozilla Paris, France

@psubotic
Pavle Subotic psubotic

Serbia

@kmicinski
Kristopher Micinski kmicinski
Lover of lambdas.

Kris Micinski Syracuse, NY

@caterinaurban
Caterina Urban caterinaurban

Inria & École Normale Supérieure Paris, France

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

Brown University

@sebastianburckhardt
Sebastian Burckhardt sebastianburckhardt
Senior Principal Researcher at Microsoft Research, Redmond, USA.

Microsoft Microsoft Research, Redmond

@shazqadeer
Shaz Qadeer shazqadeer

Facebook Seattle

@ngama75
Nicolas Gama ngama75

SandboxAQ, UVSQ Lausanne, Switzerland

@shaih
Shai Halevi shaih

AWS NY, USA

@tudordavid
Tudor David tudordavid

Oracle Labs Zürich, Switzerland

@lkuper
Lindsey Kuper lkuper

UC Santa Cruz

@dhuseby
Dave Huseby dhuseby
Tell us a little about yourself? No thank you.
@cao
Kevin Borgolte cao
Professor at Ruhr University Bochum @rub-softsec. Previously @noise-lab and @ucsb-seclab. @shellphish member. DARPA CGC 3rd place winner w/ @mechaphish

Ruhr University Bochum Bochum

@dahliamalkhi
Dahlia Malkhi dahliamalkhi
Professor of Computer Science, UCSB, and Distinguished Scientist at Chainlink Labs. Former CTO at Diem, former principal researcher at VMWare and at Microsoft.

UC Santa Barbara USA

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

Dubai

@wuestholz
Valentin Wüstholz wuestholz
Principal Researcher and Co-founder at Diligence Security

Diligence Security

@dgryski
Damian Gryski dgryski
Gopher

Vancouver, Canada

@aphyr
Kyle Kingsbury aphyr

@jepsen-io USA

@tatsuhirotsuchiya
Tatsuhiro Tsuchiya tatsuhirotsuchiya
Researcher at Osaka University

Osaka University Osaka, Japan

@cnmusco
Cameron Musco cnmusco
Associate Prof at UMass Amherst. Working on randomized algorithms for large scale linear algebra, machine learning, and data analysis.
@ahelwer
Andrew Helwer ahelwer
TLA⁺ core developer

Disjunctive Seattle, Washington, USA

@ongardie
Diego Ongaro ongardie
Co-author of @raft. Previously @juicebox-systems, @homex, @eBay, @salesforce, @PlatformLab at Stanford.

self Seattle

@deian
Deian Stefan deian
@jdm
Josh Matthews jdm
Cette danse n'est pas pour tout le monde.

Rural Ontario

@asajeffrey
Alan Jeffrey asajeffrey
Alan passed away in July. Software Engineer at Roblox, focusing on the Luau scripting language.

Roblox Chicago, IL

@cyrille-artho
cyrille-artho

KTH Royal Institute of Technology

@martinthomson
Martin Thomson martinthomson

@mozilla Australia

@april
April King april
Staff Security Engineer at @linkedin, formerly @dropbox, @twitter, and @mozilla.

@linkedin Pig's Eye, MN

@yoid2000
Paul Francis yoid2000

MPI-SWS Germany

@ehsan
Ehsan Akhgari ehsan
post-trainer @fal-ai, ex-researcher @playgroundai, ex-browser maker @mightyapp and @mozilla

Playground AI Toronto, Ontario

@cmeiklejohn
Christopher S. Meiklejohn cmeiklejohn
Ph.D. student in Software Engineering.

Carnegie Mellon University Steel City

@englehardt
Steven Englehardt englehardt
Privacy Engineer

DuckDuckGo

@hwayne
Hillel Wayne hwayne

Chicago

@palvaro
Peter Alvaro palvaro

UC Santa Cruz

@ztatlock
Zachary Tatlock ztatlock
Associate Professor, UW Allen School (CSE)

University of Washington Seattle, WA

@muratdem
Murat Demirbas muratdem
Working on distributed [systems, databases, consensus, blockchains]. Blogs at http://muratbuffalo.blogspot.com

Buffalo, NY