Dan Zhang

2PUBLICATIONS
6CO-AUTHORS
Formal methods for softwareDeep learning
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Dec 25, 2025
Enabling Auto-Correction on Soft Braille Keyboard.

Dan Zhang, Yan Ma, Glenn Dausch

|Dec 25, 2025
LLM Powered Text Entry Decoding and Flexible Typing on Smartphones.

Yan Ma, I V Ramakrishnan, Dan Zhang

Pageof 1