I am interested in formal modeling and verification, model checking, software analysis, logic, automata theory and complexity.
I am currently working on extending classical automata theory to sybolic alphabets over arbitrary domains, and
on using formal techniques to improve online eduction.
Fall 2011: Teaching Assistant
for CIS 262: Automata, Computability, and Complexity.
Spring 2012: Teaching Assistant
for CIS 500: Software foundations.
2013: Summer Intership at Microsoft Research supervised by Margus Veanes.
2012: Summer Intership at Microsoft Research supervised by Margus Veanes.
Research fellowship BIOBITS at
Universita' degli studi di Torino.
Music: piano, saxophone, drums;
Sport: squash, soccer, volleyball;
Cooking and Japanese Animation