Recently Rated:
Stats
Location:
Work interests:
Affiliation/website:
Preferred contact method: Reply to post in blog/forum/group
Preferred contact language(s):
Contact:
Favourite publications:
Work interests:
Affiliation/website:
Preferred contact method: Reply to post in blog/forum/group
Preferred contact language(s):
Contact:
Favourite publications:
Founding Member
Location: China
Work: Formal methods and process algebras Modeling, simulation and verification of distributed, timed, hybrid, embedded, latency insensitive systems and cyber physical systems Low power design, analysis and tools for Integrated Circuits (ICs), System-on-a-Chip (SoC) and Network-on-a-Chip (NoC) Formal specification and analysis of digital, analogue and mixed-signal system design Formalization of SystemC and SystemVerilog design including Transaction-level Modeling (TLM) Communication and Wireless Sensor Networks (WSNs) Memory design Photovoltaic system design and realization Battery management systems and Battery Management Integrated Circuits (BMIC) Embedded system testing (Software & Hardware) E-commerce Bioinformatics Graphics Processing Unit (GPU) computation
Work: Formal methods and process algebras Modeling, simulation and verification of distributed, timed, hybrid, embedded, latency insensitive systems and cyber physical systems Low power design, analysis and tools for Integrated Circuits (ICs), System-on-a-Chip (SoC) and Network-on-a-Chip (NoC) Formal specification and analysis of digital, analogue and mixed-signal system design Formalization of SystemC and SystemVerilog design including Transaction-level Modeling (TLM) Communication and Wireless Sensor Networks (WSNs) Memory design Photovoltaic system design and realization Battery management systems and Battery Management Integrated Circuits (BMIC) Embedded system testing (Software & Hardware) E-commerce Bioinformatics Graphics Processing Unit (GPU) computation
