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

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: 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.

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
@doofin
Eason du doofin
functional and formal math

Danmarks Tekniske Universitet Norway

@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