Matematico, astronomo e teorico di musica (Padova tra il 1370 e il 1380 - ivi 1420). Autore di opere di matematica e di astronomia, tra cui un trattato sull'estrazione di radici cubiche (Algorismi tractatus, 1483), adoperato da L. Pacioli e dagli algebristi posteriori. Nel campo della teoria musicale, i suoi scritti (Tractatus de contrapuncto; Tractatus practice cantus mensurabilis; Tractatulus monochordi; Brevis summula proportionum) rappresentano una delle più autorevoli espressioni della teorica italiana di fronte a quella contemporanea franco-fiamminga.