> Riccardo is a PL researcher (cat theory, CML, extensions of ML) who > over the last few years got into formal-logic part of security. He has also worked on, of all things, COM. -- Paul