Researcher · Technical University of Denmark · Denmark
Zhou Chaochen
Zhou Chaochen publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Embedded Systems Design Techniques.
- World rank
- #962,013 of 7,710,434 ranked researchers
- Rank in Denmark
- #7,182 of 43,819
- Works
- 41
- Citations
- 2k
- Citations per work
- 49.7
Discussion
Ask a question or share a note about Zhou Chaochen. Posts are plain text and can be reported.