I am currently studying

• homographies of invertible-free cancellative monoids [1]
• algebra, groups, semigroups, monoids, rings
• probability, computational processes, stochastic processes
• functional and non-functional specifications
• categories, semicategories, groupoids
• logic, theories, models, parsing
• source-to-source translation, porting, emulation

[1] These terms are defined at the following questions: for "invertible-free", see Can every cancellative invertible-free monoid be embedded in a group? and for "homography", see Is every invertible-free cancellative monoid action represented by "shifting" certain maps?