Alexander Bakst

Research & Engineering

I am interested in developing tools and techniques that help programmers construct and maintain high-quality software.


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.