	\documentstyle{cmu-ltr}

\address{
	Prof. Bruno Lamborghini	\\
	Direzione Studi e Strategie	\\
	Olivetti, Via Jervis 77\\
	10015, Ivrea, Torino\\
	Italy	  	
}


\date{}  % optional
%\signature{Alberto Momigliano}
\signature{Alberto Momigliano	\\	
	358 S. Atlantic Ave.	\\	
	Pittsburgh, PA 15224, 	USA	 	\\	 
	\texttt{mobile@cs.cmu.edu}
}
\begin{document}

\begin{letter}

\opening{Dear Professor Lamborghini,}

% BODY OF LETTER
E' con grande ritardo, ma con viva gratitudine che rispondo al 
Suo (e dei Suoi colleghi) telegramma in occasione della morte di mia 
madre. Nonostante fosse gravemente malata da pi\`{u} di tre anni, mia madre \`{e} 
stata  se stessa, lucida, spiritosa, ironica e coraggiosa fino 
all'ultimo.

Forse perch\`{e} da anni risiedo negli Usa, mi \`{e} ancora difficile 
abituarmi all'idea della sua scomparsa, procrastinando l'incombenza, 
peraltro a me grata, di esprimere la mia riconoscenza a chi ha 
testimoniato il suo affetto verso la mia famiglia. In particolare, mia 
madre mi aveva tenuto al corrente delle Sue intraprese nel mantenere 
vivo il ricordo di mio padre e del suo contributo agli studi di 
economia industriale, attraverso convegni e la scuola di 
specializzazione.

Spero di farLe cosa non sgradita raccontandole (brevemente) qualcosa di me. 
Dopo la mia inutile laurea in Filosofia, che tanto aveva fatto 
disperare mio padre (seppure in parte temperata dalla mia scelta 
della Logica come argomento di tesi) avevo  conseguito una Master 
in matematica ad Oxford per poi lavorare circa tre anni presso il 
laboratorio di Intelligenza artificiale della Bull HN a Pregnana, 
sviluppando un sistema di scheduling dei voli per Alitalia. 

In un momento di incoscienza ho poi accettato una scholarship che il 
Dipartimento di Computer Science della Carnegie Mellon University mi 
ha offerto per il conseguimento del Ph.D., che dati gli altissimi 
standard qualitativi richiesti (e gli ovvi motivi familiari) 
ho completato solo quest'anno.

Il mio campo di ricerca sono i `Logical Frameworks', metalinguaggi 
logici per la specifica, implementazione e verifica formale del 
software.  Se Le pu\`{o} interessare, pu\`{o} trovare informazioni, 
pubblicazioni e links presso mio sito 
\verb+www.cs.cmu.edu/~mobile+.  
Una applicazione particolarmente promettente di questa tecnologia 
\`{e} la nozione di `proof-carrying code' 
(\verb2www.cs.cmu.edu/ ~necula/pcc.html2) come paradigma di certificazione
 di `mobile code security'.

Per quanto riguarda il futuro, sto considerando la possibilt\`{a} di 
rientrare in Italia, anche perch\`{e} la ma compagna, in quanto 
docente di Letteratura Italiana alla Statale, non vede favorevolmente 
una emigrazione definitiva.  Da anni collaboro con il gruppo di Logica 
presso il Dipartimento di Informatica di Milano; sono anche tornato in 
contatto con Domenico Siniscalco che mi ha gentilmente offerto una 
collaborazione con la Fondazione Mattei.  Cercando il Suo indirizzo 
sulla rete, ho avuto modo di leggere il Sua notevolissimo curriculum e 
in particolare del Suo incarico presso la cattedra di Tecnologia 
dell'Informazione in Cattolica.  Non sono sicuro se le mie modeste 
competenze possano esserLe di qualche interesse, ma sarei molto lieto 
di farLe visita e discuterne informalmente, se Lo ritiene praticabile 
e senza nessun impegno da parte Sua ovviamente.  Se mi perdona la 
retorica, credo che i miei genitori sarebbero felici se la 
collaborazione Lamborghini-Momigliano si in qualche modo rinnovasse.  

Sar\`{o} a Milano a met\`{a} di giugno per circa un mese, al solito 
indirizzo di Via dei Chiostri 1 (02-72003995, 0338-8741591) e sarei 
felice di contattare la Sua segretaria.

La ringrazio ancora moltissimo del Suo telegramma e mi scuso ancora 
del ritardo di questa mia.


\closing{Con i miei pi\`{u} cordiali saluti,}



\end{letter}

\end{document}


