Skip to content
View TaoBi22's full-sized avatar

Highlights

  • Pro

Block or report TaoBi22

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
@salinhkuhn
kuhnsa salinhkuhn
ETH Zurich BsC student that likes LLVM compiler backends <3 and formal compiler verification. (+ computational cancer biology)
@AtticusKuhn
Atticus Kuhn AtticusKuhn
Computer Science Student at Trinity College, Cambridge

Cambridge, United Kingdom

@lee-man
LI Min lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab

Southeast University Shenzhen

@mafeguimaraes
Maria Fernanda Guimarães mafeguimaraes
Master's Student in Computer Science at UFMG, in Brazil.

Belo Horizonte, Minas Gerais

@sunhailong2001
Hailong Sun sunhailong2001
Cabbage rooster would like to become a big moo~~ 😃 👍
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@bima-putral
Bima Putra Lamanda bima-putral
Quality Assurance @Happitech | Community Organizer of @jvmdeveloperid

Happitech Indonesia

@chenbo-again
chenbo chenbo-again

社会大学 Iceland

@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology Hong Kong

@ekiwi
Kevin Laeufer ekiwi
Modern Hardware Construction Languages and Automated Testing

Cornell University Ithaca, NY

@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

@Superty
Arjun P Superty

University of Edinburgh

@djtrack16
Darius Liddell djtrack16
Stanford CS. Ruby. Functional Programming Enthusiast. Slow Traveller. Cycling.
@compor
Chris Vasiladiotis compor
exploring stargazer

University of Edinburgh Edinburgh, Scotland, UK

@Fahad-Al-Maashani
Fahad Al Maashani Fahad-Al-Maashani
Turning caffeine into code and circuits into magic. Building bridges between software and hardware, one line and wire at a time. Always learning.

Salalah, Oman

@dave-roo
dave-roo dave-roo
Here to Code.

Paris, France

@terapines-osc-circt
Terapines Circt terapines-osc-circt
Terapines open source contributor account
@zero9178
Markus Böck zero9178
Having fun with MLIR and LLVM

NVIDIA Zurich

@Groverkss
Kunwar Grover Groverkss
LLVM/MLIR/IREE, Compilers, GPUs, Polyhedral Compilation

nod.ai / AMD AI Group Edinburgh, Scotland

@yupferris
Jake Taylor yupferris
dad(jokes), demoscene, rendering, compilers, compression, FPGA, emulation, music production

Arm Oslo, Norway

@dobios
Amelia Dobis dobios
PhD Student at Princeton Universtiy | PL for Hardware | MSc ETHZ, BSc EPFL

Princeton University Philadelphia, PA, USA

@luisacicolini
Luisa Cicolini luisacicolini
CS graduate, creativity enthusiast

University of Cambridge, @opencompl Cambridge

@glou-nes
glounes glou-nes

IRISA Brittany