sage.md

name	pronouns	role	subrole	advisor	interests	email	website	photo	layout	subpath
Sage Binder		Graduate Student	Ph.D. Student	Katherine Kosaian	Formal Verification, Formalizing Mathematics	[email protected]	https://sagebinder.github.io/	sage.jpg	member	/assets/img/