All-4-Freebees Stuff All Kinds! Books, Publishing and Writing Stuff. Free Software for MS Windows. Linux, BSD and Solaris Stuff. Rendlesham Forest UFO Incident 1980. All-4-Freebees Stuff All Kinds! Books, Publishing and Writing Stuff. Free Software for MS Windows.

Assistant Professor of Electrical Engineering and Computer Science. Programming Languages and Verification Group. Computer Science and Artificial Intelligence Laboratory. Department of Electrical Engineering and Computer Science. The basic mission of my research group is to build the programming platform of the future, based on close integration of computer theorem-proving tools. Especially the Coq proof assistant.

Thoughts, comments and general ramblings. All the way to live deployment, with everything under version-control. From the tools we have right now. The rest of this post explores these ideas and considers how we might extend our system. A couple of things immediately come to mind.

Project, a 7th Framework Programme. Project funded under the FET Initiative. Department of Education and Psychology, University of Florence. Via di San Salvi, 12, Building 26, 50135 Florence. Viale delle Idee, 26 -Room 210-211. Institute of Informatics and Telematics - CNR.

I completed my PhD in 2006 at the University of Cambridge. In the Systems Research Group. You can read my thesis and various academic publications here. Group at Cambridge, and building the Mirage.

Actually, come to think of it, this information will most likely be out of date. Previously I worked as a quantitative developer at a large investment bank.