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.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.