Biographical Sketch

I have a PhD from Texas A&M University and more info is available on my cv.

Although my main research interest is in automata theory and I've done a lot of work in the last 5 years on Regular Expressions Denial of Service attacks, I've also worked on the verification of smart contacts, verification of Android Apps, natural language processing and algorithmic music composition.

This year I'm on the program committee of the 27^th International Conference on Implementation and Application of Automata.