Skip to content
View hailinzeng's full-sized avatar
🏠
Working from home
🏠
Working from home
88 followers · 296 following
  • Beijing, China

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report hailinzeng

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
@fulicat
Jack Chan fulicat
Web Front-end Developer

Social Power Information Technology（Shanghai） Co.,Ltd. Shanghai, China

@inspiringz
3ND inspiringz

:::1

@EricBergDE
Eric Berg EricBergDE

Germany

@subbdue
Subbdue subbdue
@holdenQWER
holdenQWER
@mli
Mu Li mli

Boson AI Palo Alto, CA

@cfc4n
CFC4N cfc4n
醉后不知天在水，满船清梦压星河。

@meituan 上海(ShangHai,China)

@LemonAndRabbit
Zhifan Ye LemonAndRabbit
PhD student, Georgia Tech; USTC alumni

Georgia Institute of Technology Atlanta, GA

@huawei-noah
HUAWEI Noah's Ark Lab huawei-noah
Working with and contributing to the open source community in data mining, artificial intelligence, and related fields.
@crossutility
Cross Utility crossutility
@lifting-bits
Lifting Bits lifting-bits
Binary Translation by @trailofbits

New York, NY

@OpenMOSS
OpenMOSS (SII) OpenMOSS
OpenMOSS Team is a research group under the Shanghai Innovation Institution (SII), working in close collaboration with Fudan University and MOSI Intelligence.

China

@THUDM
THUKEG THUDM
ChatGLM, GLM-4, CogVLM, CodeGeeX, CogView, ImageReward, CogVideoX | CogDL, GraphMAE, AMiner | Zhipu.ai (Z.ai) & Knowledge Engineering Group (KEG)

FIT Building, Tsinghua University

@OpenXiangShan
XiangShan OpenXiangShan
Open-source high-performance RISC-V processor
@troyguo
troyguo
IC Verification, Linux Kernel.

Shanghai, China

@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

@temelmertcan
Mertcan Temel temelmertcan
PhD, Formal Verification Engineer at Intel Corporation, UT Austin alumni
@intel-staging
Intel Staging intel-staging

United States of America

@cw1997
Chang Wei cw1997
昌维 Focus on Computer Science(CS) and Electronic Engineering(EE) As a full stack engineer,I research everything from the Digital Circuits to the User Interface

National Taiwan Normal University No. 9, Shida Rd., Da'an Dist., Taipei City 106311, Taiwan

@foss-for-synopsys-dwc-arc-processors
Open Source Software for Synopsys's DesignWare ARC Processors foss-for-synopsys-dwc-arc-processors
@ZJU-PL
ZJU Programming Languages and Automated Reasoning Group ZJU-PL
@shengyp
Yongpan Sheng shengyp
Lecturer, Southwest University

Southwest University Chongqing

@jbush001
Jeff Bush jbush001

United States

@yuleisui
Yulei Sui yuleisui
Program Analysis, Software Engineering

UNSW Australia

@jirislaby
Jiri Slaby jirislaby
@muchang
Chengyu Zhang muchang
Lecturer (Assistant Professor) at Loughborough University; software engineering, programming languages, and formal methods.

Loughborough University United Kingdom

@zhendongsu
Zhendong Su zhendongsu
Professor in Computer Science at ETH

ETH Zurich Zurich, Switzerland

@tianrui-wei
Tianrui Wei tianrui-wei
tempus fugit

@ucb-bar Berkeley, California

@fengwz17
Wz Feng fengwz17
formal method

Institute of Software, CAS Beijing

@season-lab
SEASON Lab season-lab
Software Analysis and Optimization Laboratory at Sapienza University of Rome
@conp-solutions
conp-solutions

Germany

@ssvlab
Systems and Software Verification Laboratory ssvlab

Federal University of Amazonas Manaus, Amazonas, Brazil

@fangwenji
Wenji Fang fangwenji
Ph.D. Student @ HKUST

The Hong Kong University of Science and Technology Hong Kong

@hanchenye
Hanchen Ye hanchenye
PhD student at UIUC

ECE@UIUC Urbana, IL, USA

@jianyicheng
Jianyi Cheng jianyicheng
Research Associate at the University of Cambridge Computer Laboratory

University of Cambridge London, UK

@aman-goel
Aman Goel aman-goel
Applied Scientist @ AWS

Amazon Web Services Seattle, WA

@riscv-mcu
RISC-V Microcontroller riscv-mcu
Open Source Software for RISC-V Microcontroller. Checkout Nuclei Software at https://github.com/Nuclei-Software
@snps-virtualprototyping
snps-virtualprototyping

Synopsys

@zhengyang92
Zhengyang Liu zhengyang92

Kirkland, WA

@jlinoff
Joe Linoff jlinoff

eSentire Northwest US

@lucasccordeiro
Lucas C. Cordeiro lucasccordeiro
Lucas C. Cordeiro is a Full Professor in the Department of Computer Science at the University of Manchester/UK.

The University of Manchester, UK Manchester

@zhanghongce
Hongce Zhang zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)

Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China

@lispc
Zhang Zhuo lispc
building zkevm

Tsinghua University, PRC Bejing

@wangkui0508
wangkui0508 wangkui0508

Beijing

@boqwxp
Alberto Gonzalez boqwxp
GPG public key and instructions to contact me:
@martinda
Martin d'Anjou martinda
FPGA/ASIC Build Automation, Gradle, Git, Jenkins, SystemVerilog

Ottawa, Canada

@menghuanlater
止水清潇 menghuanlater
鱼跃此时海，花开彼岸天

BUAA Beijing,China,BUAACS

@DonggeLiu
Dongge Liu DonggeLiu
Software Engineer at Google. UniMelb PhD. Major in machine learning and software vulnerability discovery.

Google Sydney

@lirui-shanghaitech
Rui Li lirui-shanghaitech
A Ph.D. student at ShanghaiTech University

ShanghaiTech University Shanghai, China

@luojw-dwr
Jianwen Luo luojw-dwr
FPGA and HLS developer (immature).

ShanghaiTech University Pudong, Shanghai