I am a mathematician-adjacent computer scientist :) seasoned in the area of formal verification and currently dabbling in computational chemistry.
Broadly speaking, I work with complex systems, usually biological or chemical in nature and focusing on the formal specification and the computational challenges that arise within.
I am in particular interested in questions of concurrency and abstract interpretation, but I get easily excited for many a challenge.