Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View liuyic00's full-sized avatar
14 followers · 10 following
  • Institute of Software Chinese Academy of Sciences
  • Beijing, China
  • 19:22 (UTC +08:00)

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Highlights

  • Pro

Block or report liuyic00

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
@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@hailinzeng
Hailin, Zeng hailinzeng
Formal Verification

Beijing, China

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@doofin
Eason du doofin
part-time researcher about functional and formal math

Chinese Academy of Sciences China

@chenjie35335
StormySo chenjie35335
I am interested in computer system and formal verification.
@skyhgzsh
胡格致 skyhgzsh
Undergraduate student @ University of Chinese Academy of Sciences

University of Chinese Academy of Sciences 北京市怀柔区雁栖湖东路1号

@hovind
hovind

Oslo, Norway

@sequencer
Jiuyang Liu sequencer
0x8D7B5A. I work for open source chip design.

Wuhan, China

@npuwth
Tianhao Wei npuwth

Beijing, China

@SeddonShen
Seddon SeddonShen
Coding!

Homedwen University (ISCAS & UCAS) Beijing

@fengwz17
Wz Feng fengwz17
formal method

Institute of Software, CAS Beijing

@tzY15368
tzY15368
晚雲間的紙風箏 i stopped committing thanks to mr zuckerberg :((
@W-RJ
W-RJ

Earth

@KZNS
KZNS KZNS