am at csail dot mit dot edu
Postdoctoral Research Fellow Progetto Rocca Postdoctoral Fellow Software Design Group
I am a Roberto Rocca Postdoctoral Fellow at Software Design Group. My general research interests include software behavioral modeling, testing and analysis, with particular focus on lightweight formal methods. I got my B.Sc., M.Sc. and PhD at Politecnico di Milano, where I have been advised by professor Carlo Ghezzi of deepse group.
During my PhD, I developed a technique to model, recover and validate software specifications from a behavioral point of view. If you are interested in my work, you can check my publications and the homepage of my technique spy. I mainly contributed to the ERC Grant Sms-Com and to the S-Cube European Network of Excellence.
During my PhD I also enjoyed teaching a lot. I have been TA for many computer science courses, from introductory courses to programming to theoretical computer science and algorithms.
For more details you can check my full cv or go on reading this page.
Science is a differential equation.
Religion is a boundary condition.
Jackson's Rules of Optimization:
Rule 1. Don't do it.
Rule 2 (for experts only). Don't do it yet—that is, not until you have a perfectly clear and unoptimized solution.
There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult. It demands the same skill, devotion, insight, and even inspiration as the discovery of the simple physical laws which underlie the complex phenomena of nature.
We appreciate our debt to electrical engineering, without which there would be no computers. Indeed, computer science is to electrical engineering as the art of making love is to the art of making beds.
If you're interested in any of these papers, please contact me.
Probably because of the distinctive nuragic culture of my homeland, Sardinia, I enjoy archeology in all its aspects. The picture above depicts Su Nuraxi of Barumini, a UNESCO World Heritage site.
I'm an hobbyist photographer, enjoying mainly portraits and landscapes. I love both catching the moments and designing a composition. You may want to check my 500px page.
Influenced by the dramatic happenings that changed the italian political system in the early '90s, I early developed interests in all sort of political topics, from both an economical and a social point of view. Considering myself a libertarian social-democratic, my ideas have little or no representation among italian parties.
Copyright © 2009-2011 Andrea Mocci. Design by Not Just A Grid