I am an Assistant Professor in the School of Computer and Cyber
and I run the ForML Lab
On this page you will find my research interests, contact
information, and CV
My current project is
on The Granule
where I am studying graded logics, models, and type theories.
Programming languages, type theory, category theory, and logic in computer science.
Conference and workshop service