Skip to content
View SatyendraBanjare's full-sized avatar
🎯
Focusing
🎯
Focusing
36 followers · 85 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

Block or report SatyendraBanjare

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
@heathermiller
Heather Miller heathermiller

Carnegie Mellon University Pittsburgh, PA, USA

@ethomson
Edward Thomson ethomson
Product at Vanta; maintainer of @libgit2. Formerly product and engineering at @vercel, @github, @microsoft.

Vanta Cambridge, UK

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

Brown University

@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@pirapira
Yoichi Hirai pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.

Flamingo Ponderado Unipessoal LDA Portugal

@dvanhorn
David Van Horn dvanhorn

@plum-umd Washington, DC

@ananthr
Ananth Raghunathan ananthr

Google Inc.

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@parno
Bryan Parno parno

Carnegie Mellon University

@bsorav
Sorav Bansal bsorav

New Delhi

@NikolajBjorner
Nikolaj Bjorner NikolajBjorner

Microsoft Research Redmond, USA

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@SaswatPadhi
Saswat Padhi SaswatPadhi
Coding without vibe

@GoogleCloudPlatform | @Google Seattle, WA

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

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

Swansea

@hwayne
Hillel Wayne hwayne

Chicago

@aa755
Abhishek Anand aa755

Miami, FL, USA

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@prvnkumar
Praveen Kumar prvnkumar

Cornell University Ithaca, NY

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@aziem
Aziem Chawdhary aziem
@umangm
Umang Mathur umangm
Assistant Professor

National University of Singapore Singapore

@ngsankha
Sankha Narayan Guria ngsankha

@ku-progsys Lawrence, KS

@ranjitjhala
Ranjit Jhala ranjitjhala

University of California, San Diego San Diego, CA

@wcventure
Cheng Wen wcventure
I am a lecturer at the Guangzhou Institute of Technology at Xidian University. My research interests are about Trusted & Intelligent Software Engineering.

Xidian University Guangdong Province, China, 518060

@msoeken
Mathias Soeken msoeken
Researcher in the areas of logic synthesis, quantum compilation, and formal verification.

@microsoft Switzerland

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@lattner
Chris Lattner lattner

Bay Area, California, USA

@palmskog
Karl Palmskog palmskog

KTH Royal Institute of Technology Stockholm, Sweden

@nikswamy
nikswamy
@ankushdesai
Ankush Desai ankushdesai
Principal Research Scientist @ Snowflake

Snowflake Santa Clara

@btj
Bart Jacobs btj
Associate professor of computer science, focusing on formal program verification.

imec-DistriNet, KU Leuven Leuven, Belgium

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@amitkumarj441
Amit Kumar Jaiswal amitkumarj441

London, UK

@ivanperez-keera
Ivan Perez, PhD ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker

@NASA Ames Research Center / KBR San Jose, CA

@arthaud
Maxime Arthaud arthaud
Meta (formerly Facebook) Product Security Engineer and former NASA Engineer. Interested in Static Analysis, Security, Compilers, CTF.

@facebook Paris, France

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

Princeton University Princeton, NJ

@tobiasgrosser
Tobias Grosser tobiasgrosser

University of Cambridge Cambridge

@PatrickMassot
Patrick Massot PatrickMassot

Paris

@taktoa
Remy Goldschmidt taktoa
Compiler guy

@MatX-inc /nix/store

@ratulm
ratulm
@ankitku
Ankit Kumar ankitku
PhD grad student @northeastern University.

Northeastern University Boston

@ajavadia
Ali Javadi-Abhari ajavadia
@dselsam
Daniel Selsam dselsam
@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@harpribot
Harshal Priyadarshi harpribot
Microsoft USA | MS CS UT Austin | B.Tech. EE IIT Roorkee

University of Texas at Austin Austin, TX

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris