Skip to content
View kbansal's full-sized avatar
20 followers · 0 following

Organizations

@CVC4

Block or report kbansal

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
@apples0226
apples0226
@SeshatCZ
SeshatCZ

Czech republic

@ingenieurindeepika
Deepika Sharma ingenieurindeepika
Assistant Engineer at UJVNL.

UJVNL Dehradun

@PhilChina
Larry PhilChina
Master degree in computer science and technology. cv nlp......

Student ShangHai

@PenroseTiles
Anurag Kashyap PenroseTiles

New York

@t46
Shiro Takagi t46
@steffanjensen
Steffan Jensen steffanjensen
Building stuff...

dev Denmark

@flypitch
flypitch
Formal proof of the independence of CH. This account is maintained by @jesse-michael-han.

University of Pittsburgh Pittsburgh

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

Swansea

@alexjbest
Alex J Best alexjbest
Hoi!

London, UK

@ViToSVK
Viktor Toman ViToSVK
Software Engineer @ Google Zurich

Google Zurich, Switzerland

@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@eda-ricercatore
Zhiyang Ong eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs

Design Automation Renegades In passato, vicino al Dolomiti

@kelvin-dev
kelvin-guru kelvin-dev
✔ cout << "A minimalism practitioner, an abstract thinker in SW development with entrepreneur mindset\n"

T.B.U Phu Quoc Night Market, Duong To, Phu Quoc, Vietnam

@technologiclee
Lee Nelson technologiclee

looking for startups Shenzhen China

@batermj
Bater.Makhabel batermj
Software Engineer with A Passion for Innovation, Published Author, https://www.linkedin.com/in/batermj/

META4ALL Abu Dhabi, UAE

@cyruliu
Cyrus Liu cyruliu
Formal Verification/Program Analysis

New Jersey USA

@abhishesh
Abhishesh Sharma abhishesh
Data wizard by day, problem-solver by night! Transforming raw data into meaningful insights, building epic data products, and crafting scalable solutions

Xendit Singapore