Skip to content
View aman-goel's full-sized avatar
💭
programming
💭
programming

Block or report aman-goel

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
@lee-man
LI Min lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab

Southeast University Shenzhen

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@CrazybinaryLi
Crazybinary CrazybinaryLi
“If I knew what I was doing, it wouldn't be called research.” - Albert Einstein.

Institute of Computing Technology, Chinese Academy of Sciences Beijing,China.

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@Isobutylcyclopentane
Jerry Cheng Isobutylcyclopentane
University of Michigan - Ann Arbor; M. S. in Electrical and Computer Engineering in 2023; Python (Numpy, Scipy, Matplotlib, PyTorch), C\C++, Verilog, VHDL

University of Michigan Ann Arbor, MI

@vitorguidi
Vitor Guidi vitorguidi
Software Engineer

Google São Paulo

@mycroft92
Madhukar Yerraguntla mycroft92
Electrical engineer by profession, now also a part-time PhD student at IIT delhi.
@yochannah
Yo Yehudi yochannah
@open-life-science exec director | previously @wellcometrust & @intermine & @PLOS Open Source Toolkit & @OBF Board

@open-life-science Cambridge

@hailinzeng
Hailin, Zeng hailinzeng
Formal Verification

Beijing, China

@h1994st
Shengtuo Hu h1994st
Think More, Do More, and Talk More :)
@harisankarsadasivan
Hari Sadasivan harisankarsadasivan
Software Profiling & Acceleration handle: My closed source contribution: https://github.com/hsadasivan/mm2-ax

University of Michigan Ann Arbor

@oyendrila-dobe
Oyendrila Dobe oyendrila-dobe
Formal verification enthusiast

Boston, USA

@ligurio
Sergey Bronnikov ligurio
I make software suck less
@ghousek1
Ghouse K1 ghousek1
(old account) Go to new account: tonyghouse
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@luowanqian
Luo Wanqian luowanqian
Focus

Huawei Technologies China

@dbueno
Denis Bueno dbueno
phd cs, staff @ sandia
@MadeByMars
Haojun MadeByMars
Life is so hard. Let's verify it.

Meta

@proidiot
Charles Southerland proidiot
Computers don't have to suck, but we have to choose to fix them. Formal Methods, F(L)OSS, math memes, general nerdiness. aka @csoutherland

@stuphlabs Austin, TX