Education	Massachusetts Institute of Technology, Cambridge, MA M.Eng in Computer Science, expected June 2010. S.B. in Theoretical Mathematics, June 2009. S.B. in Computer Science and Engineering, June 2009. Total GPA 4.9/5.0 See Coursework European School of Varese, Varese, Italy (1991 - 2005)
Awards	• George C. Newton Undergraduate Laboratory Third-Place the final project in 6.170 during Spring 2007. • Best User Interface and Usability Award for the final project in 6.170 during Spring 2007. • Order of Lambda, top student in 6.001, the Scheme programming class at MIT during Fall 2006.
Research Experience	CSAIL, MIT, Cambridge, MA Cryptography & Computation Research with Eran Tromer, October 2008 – present • I am researching novel PCP-based proof techniques to develop a framework that ensures the correctness of data in distributed computations. • I am also researching the theory of secure back-up protocols between a local trusted computer and a remote untrusted server, paying particular attention to masking access patterns. Bank of America, Boston, MA Machine Learning Research Intern, January 2008 • Using techniques from data mining and statistical learning, I researched the problem of predictive credit risk modeling of small businesses. • Working in a team of two, I developed two models that use the concept of survivial ensembles to make such credit risk predictions. Summer Program for Undergraduate Research (SPUR), MIT, Cambridge, MA Researcher, June 2007 – August 2007 • Developed a generalization of a public-key cryptosystem that improves its security parameters. • Discussed ideas and approaches to the problem through daily meetings with a mentor from the mathematics department. • Authored paper describing and proving cryptosystem generalization. Research Laboratory of Electronics: Laboratory of Organic Optics and Electronics, MIT, Cambridge, MA Research Assistant, June 2006 – July 2006 • Coded several parts of a quantum-dot simulator for the study of the stable energy states of quantum dots. • Improved user interface, allowing more control over the simulation. • Implemented more reliable thermal motion by using an enhanced collision resolution algorithm.
Programming Experience	Thought and Memory, Cambridge, MA Designer and Developer, June 2007 – August 2007 • Developed a Django-based web application with the objective of giving consumers the power to make informed decisions when purchasing products at the store. • Designed and implemented from scratch the object models underlying the Django application. Laboratory in Software Engineering, MIT, Cambridge, MA Student, February 2007 – May 2007 • Designed and implemented a final project of AntiChess, working in a team of four. • Spearheaded GUI development, putting special emphasis on making the GUI seem like a videogame, with animated components and seamless transitions across screens. • Awarded Best User Interface and Usability; awarded George C. Newton Undergraduate Laboratory Third-Place Prize
Work Experience	Oracle Corporation, Redwood City, CA Database Security Intern, June 2008 – August 2008 • Designed an automated key management system that integrates with Oracle Database. • Implemented a prototype of the design, thus demonstrating the potential for an Oracle Key Management Server. Electrical Engineering and Computer Science Department, MIT, Cambridge, MA Structure and Interpretation of Computer Programs Laboratory Assistant, February 2007 – December 2007 • Explain concepts covered in lectures and problems sets to students during lab hours. • Guide students, many of whom were first-time programmers, through the debugging process, enabling them to acquire the skills to find mistakes in their own code. • Conduct quiz reviews to help students solidify main concepts from class. Mathematics Department, MIT, Cambridge, MA Grader, September 2006 – December 2006 • Graded weekly problem sets for one recitation section of multivariable calculus.
Skills	Languages: English, Italian, Spanish, German, advanced Chinese Computing: Java, Python, C, Django, PL/SQL, Scheme, MATLAB, R, SAGE, LaTeX, HTML
Activities	Men's Heavyweight Varsity Crew, Microsoft College Puzzle Challenge, William Lowell Putnam Competition

---