Shi Feng

2PUBLICATIONS
7CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Oct 22, 2025
CryoDataBot: a pipeline to curate cryoEM datasets for AI-driven structural biology.

Qibo Xu, Leon Wu, Michael Rebelo

|Sep 18, 2025
CryoDataBot: a pipeline to curate cryoEM datasets for AI-driven structural biology.

Qibo Xu, Leon Wu, Michael Rebelo

Pageof 1