Xiaoyuan Huang

11PUBLICATIONS
35CO-AUTHORS
Formal methods for softwarePreventative health careComputational neuroscience (incl. mathematical neuroscience and theoretical neuroscience)Cancer diagnosisMedical infection agents (incl. prions)
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (11)

Pageof 2