Dynisious

I'm a Computer Science tutor and research assistant with Monash. I've got a love for Type Theory, Category Theory, and Cyber Security topics.

Pinned Repositories

Dynisious's Repositories