Glenn Dausch

1PUBLICATIONS
6CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

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

Dan Zhang, Yan Ma, Glenn Dausch

Pageof 1

Frequent Collaborators

1 joint publications

Dan Zhang

1 joint publications

Yan Ma

1 joint publications

William H Seiple

1 joint publications

David Xianfeng Gu