Skip to content
View Can-ZHOU's full-sized avatar
๐Ÿ‰
JUST FOR FUN
๐Ÿ‰
JUST FOR FUN
  • London, UK
  • 13:12 (UTC -12:00)

Highlights

  • Pro
Block or Report

Block or report Can-ZHOU

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
Can-ZHOU/README.md

Hi there ๐Ÿ‘‹

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.

Popular repositories Loading

  1. Nottingham-FYP-Template Nottingham-FYP-Template Public

    Nottingham FYP Template

    TeX 6

  2. Nand2Tetris_multpliy_16-bits Nand2Tetris_multpliy_16-bits Public

    It is a chip that can achieve multpliy 16 bits in hdl based on N2T.

    Scilab 1

  3. Group2-Android Group2-Android Public

    Java 1 1

  4. Theoretic-Robustness-NN Theoretic-Robustness-NN Public

    A Domain-Theoretic Framework for Robustness Analysis of Neural Network

    Python 1

  5. LCA LCA Public

    CS3012 Assignment 1&2. Please read more commit ditails [Include visualization of the test cases] in the README.

    Java

  6. Biography-of-Linus-Torvalds Biography-of-Linus-Torvalds Public

    CS3012 Software Engineering Assignment 3 -- biography of a key software engineer: Linus Torvalds