|
I am a second year Ph.D student. I'm advised by Rajeev Alur.
I previously studied
at the
Universita' 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
- L. D'Antoni, M. Veanes, 14th International Conference on Verification, Model Checking, and Abstract Interpretation, 2013
Static Analysis of String Encoders and Decoders [pdf]
- R. Alur, L. D'Antoni, 39th International Colloquium on Automata, Languages, and Programming, 2012
Streaming tree transducers [short pdf, 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]
Submitted
- L. D'Antoni, M. Veanes, B. Livshits, D. Molnar 2012
FAST: A Transducer-Based Language for Tree Manipulation, TR [short]
- R. Alur, L. D'Antoni, J. V. Deshmukh, M. Ragothaman, Y. Yuan 2012
Regular Functions, Register Cost Automata, and Generalized Min-Cost Problems, arXiv [short pdf, pdf]
Internal Reports
- L. D'Antoni, Written Preliminary Test II, 2012
In the Maze of Data Languages, [pdf]
Working Experience
Hobbies
Music: piano, saxophone, drums
Sport: squash, soccer, volleyball
then
Cooking and Japanese Animation
|
