Daniela Tulone

Hi, after six enjoyable years spent in New York City, first at the Courant Institute of New York University and then at Bell-Labs as member of the Secure System Research Department, I am now back in Italy!
I have joined the Dependable Computing Research Lab and am also working towards my Ph.D. in Computer Science at University of Pisa.

I am interested in fault tolerance and distributed computing with particular focus on the design of protocols resilient to Byzantine failures, efficient for large and dynamic populations.  I am interested  also in consistency criteria, in complexity analysis and randomized approaches. The goal of my research projects is to blend theory and practice and see how theory can impact technologies.

Relevant projects I have worked on:

• My Master thesis in Mathematics was on Logic and Automatic Theorem Proving and I continued working on this area after with particular emphasis on Elementary Geometry and randomized approaches.  This yielded to the first polynomial time probabilistic method to verify the correctness of a geometric conjecture and to the generalization of the Schwartz Randomized Zero Test to radical expressions (see the Prover ). Author of the Prover, a system for the automatic verification of geometric conjectures on Reals and since '00 part of  the Core library , package designed at NYU under the coordination of Chee Yap.
• At Bell Labs, I have worked with Mike Reiter  and Dahlia Malkhi on Fleet , a distributed repository for persistent objects based on Byzantine Quorum Systems and designed for large scale systems.

Brief Bio
Publications
Curriculum Vitae

Brief Bio

[11/89 - 3/94]          M.S. in Mathematics at University of Catania, Italy.
[3/94 - 11/94]          Graduate School of Industrial Modeling (University of Catania, University of Kaisersalautern, Germany and IBM).
[9/94]                        Department of Applied Mathematics, University of Kaiserslautern.
[1/95 - 5/96]            CNR Research Associate at Department of Mathematics, University of Catania.
[9/96 - 9/97]            CNR Research Associate at Courant, New York University.
[9/96 -1/98]             MS in Computer Science, NYU.
[3/98 - 1/00]           Software Engineer, AT&T Labs.
[4/00 - 10/02]         Member Technical Staff, Bell Labs Murray Hill.
[11/02 - present]   Research Associate at the Dependable Group Research Lab, ISTI CNR.
[11/02 - present]   Ph.D. at the Department of Computer Science of University of Pisa.

Last modified April 2003.