My name is Can Zhou. Most of my time is spent on doing nothing in particular, but when I'm not doing nothing I'm either working on formal verification stuff, programming, reading, or playing squash.
๐
JUST FOR FUN
Highlights
- Pro
Block or Report
Block or report Can-ZHOU
Report abuse
Contact GitHub support about this userโs behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
Nand2Tetris_multpliy_16-bits
Nand2Tetris_multpliy_16-bits PublicIt is a chip that can achieve multpliy 16 bits in hdl based on N2T.
Scilab 1
-
-
Theoretic-Robustness-NN
Theoretic-Robustness-NN PublicA Domain-Theoretic Framework for Robustness Analysis of Neural Network
Python 1
-
LCA
LCA PublicCS3012 Assignment 1&2. Please read more commit ditails [Include visualization of the test cases] in the README.
Java
-
Biography-of-Linus-Torvalds
Biography-of-Linus-Torvalds PublicCS3012 Software Engineering Assignment 3 -- biography of a key software engineer: Linus Torvalds
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.