Affiliated International Collaboration Partners
Prof. Zhou Chaochen
Chinese Academy of Sciences
Role within the ArtistDesign European Network of Excellence
Role within the Artist2 European Network of Excellence
Company or Institution
Chinese Academy of SciencesContact
Home page: http://www.iscas.ac.cn/english/people/zhouchaochen.htm
Research Interests
Formal technique for programming, including formal semantics, specification, verification and design calculi for computing systems.
(c) Artist2 Consortium, All Rights Reserved - 2006