Research
Publications
Peer-reviewed work in deep learning, medical imaging, and applied AI.
02 entries
- 01
An End-to-End Deep Learning Pipeline for Automated Mandible Virtual Surgical Planning Using Real-World Clinical Data
An end-to-end deep learning pipeline that automates mandible virtual surgical planning from real-world clinical data, combining volumetric segmentation and reconstruction to streamline the workflow for maxillofacial surgery.
- 02
Fine-Grained Formal Verification of an Asynchronous Speaker Diarization Pipeline Using Hierarchical Timed Colored Petri Nets
A fine-grained hierarchical Timed Colored Petri Net (HTCPN) model of an asynchronous speaker diarization pipeline that exposes three generalizable structural deadlock patterns in concurrent AI pipelines. Seven correctness properties are verified, including a novel attribution consistency property, showing that sub-module decomposition is necessary for complete pipeline verification.