a bit about me:

Presently I am a doctoral student in the QuantLA research training group, and I am working on quantitative automata and logics for infinite discrete structures