top of page

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

bottom of page