|
I am a second year Ph.D student. I'm advised by Rajeev Alur.
I previously studied
at the
Università degli studi di Torino where I
got my master's degree in computer science. This is my Resume.
Research
I am interested in formal modeling and verification, model checking, software analysis, logic, automata theory and complexity.
Now I am working on transducers, particularly tree-to-tree and string-to-term.
Coursework
Fall 2011: Teaching Assistant
for CIS 262: Automata, Computability, and Complexity.
Spring 2012: Teaching Assistant
for CIS 500: Software foundations.
Publications
- R. Alur, L. D'Antoni, J. V. Deshmukh, M. Ragothaman, Y. Yuan 2011
Regular Functions, Register Cost Automata, and Generalized Min-Cost Problems, arXiv [pdf]
- R. Alur, L. D'Antoni, 39th International Colloquium on Automata, Languages, and Programming, 2012
Streaming tree transducers [pdf]
- L. Bettini , M. Coppo, L. D'Antoni, M. De Luca , M. Dezani-Ciancaglini , N. Yoshida, at CONCUR08
Global Progress in Dynamically Merged Multiparty Sessions [pdf]
Internal Reports
- L. D'Antoni, Written Preliminary Test II, 2012
In the Maze of Data Languages, [pdf]
Hobbies
Music: piano, saxophone, drums
Sport: squash, soccer, volleyball
then
Cooking and Japanese Animation
|
