Esperto nello sviluppo di sistemi operativi e di linguaggi di programmazione, fra le sue principali realizzazioni:
espˈɛrto nˈello zvilˈupːo dɪ sistˈɛmɪ operatˈivɪ e dɪ liŋɡwˈadʒːɪ dɪ proɡrammatsiˈone, fra le sˌʊe printʃipˈalɪ realidzːatsiˈonɪ: