Skip to content
View andreat's full-sized avatar
10 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report andreat

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
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
product | Claude Code very active user

Denver, CO

@Ep11phany
Meilin Zhu Ep11phany
Class 2023 @ CST THU | Trustworthy AI | ASR KWS NLP | Ph.D. Student @ Institute of Software, Chinese Academy of Sciences

Tsinghua University Beijing, China

@SeddonShen
Seddon SeddonShen
Coding!

Homedwen University (ISCAS & UCAS) Beijing

@zhuyutian57
zhuyt zhuyutian57

Institute of SoftWare, Chinese Academy of Sciences Beijing

@toum120
Follow自动机 toum120
@fengwz17
Wz Feng fengwz17
formal method

Institute of Software, CAS Beijing

@SpencerL-Y
Clexma SpencerL-Y
A Phd. candidate of ISCAS, University of China Academy of Sciences (UCAS) .

Institute of Software, CAS Beijing

@ArthurFerdinand
ArthurFerdinand
@dnjansen
David N. Jansen dnjansen
Computer science researcher

Institute of Software, Chinese Academy of Sciences Beijing, China

@ljlin
Jianlin Li ljlin
I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →

UWaterloo / ISCAS / UdS Waterloo / Beijing / Saarbrücken