Bio

Dr. Alexander Bakst is interested in developing tools that enable programmers to build trustworthy systems. He has industry and research experience developing static analyzers, program verifiers, and compilers. Before Aarno Labs, he worked at Certora, Galois, Qualcomm, and Oracle. Dr. Bakst holds a Ph.D. from the University of California, San Diego.