Writer and producer of the webcomic Essence Academy. Check it out at http://abos.studio
I also dabble in math formalization with Mizar, create software and do other stuff.