Phd student at the University of Maryland.

Studying the formal category theory of structural specification.