Complex sentence: At the time of his death he was the executive officer of the computer science department at the California Institute of Technology., and was developing an editor for proving theorems called "Proxac".
Split into simpler sentences: At the time of his death he was the executive officer of the computer science department at the California Institute of Technology. He was also developing an editor for proving theorems called "Proxac".