Assistant Professor at
Department of Mathematics and Computer Science,
University of Catania.
Ph.D. in Computer Science, University of Catania, October 2004.
M.Sc. in Computer Science, University of Catania, September 2001.
Text and strings processing algorithms, simulation of nondeterministic finite automata, exact and approximate pattern matching, data compression and pattern matching on compressed texts and combinatorial algorithms on graphs
Thierry Lecroq and I present smart,
a tool which provides a standard framework for researchers in string matching.
It helps users to test, design, evaluate and understand existing solutions for the exact string matching problem.
Moreover it provides the implementation of (almost) all string matching algorithms and a wide corpus of text buffers.