Background
Alexander earned his Ph.D. in computer science from the University of California, San Diego. His work there focused on automated verification of both low-level and distributed programs. His dissertation explored a technique for automatically simplifying proofs of distributed systems by rewriting them into sequential programs.