Alexander Bakst
Research Engineer at Aarno Labs
San Diego, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAlexander Bakst is a research engineer with 14 years of systems and formal methods experience, now applying his PhD work to build developer-facing verification tools in industry. He has deep, practical expertise in filesystems and OS-level code from early roles at Oracle and Qualcomm and has since shifted to proving correctness of low-level C and distributed Haskell programs, producing tools that automatically generate machine-checkable proofs. At Galois and Certora he bridged research and product, and he contributes to LiquidHaskell, bringing refinement-type verification into real-world Haskell codebases. Based in San Diego, he combines systems-level pragmatism with formal rigor and a knack for turning advanced program logics into usable developer tooling.
15 years of coding experience
10 years of employment as a software developer
University of California, San DiegoM.Eng Computer Science, M.Eng Computer Science at Massachusetts Institute of Technology
Stackoverflow
13reputation
354reached
0answers
2questions
Github Skills (7)
verification10
haskell10
refinement-types10
smt10
alloy6
z36
z3py6
Programming languages (12)
Github contributions (5)
ucsd-progsys/liquidhaskell
Feb 2013 - Sep 2015
Liquid Types For Haskell
Role in this project:
Back-end Developer & Verification Specialist
Back-end Developer & Verification SpecialistContributions:10 commits, 3 PRs, 11 comments in 2 years 7 months
Contributions summary:Alexander primarily contributes to the Liquid Haskell project, focused on refinement types and verification. Their commits involve updating and refining Haskell code, specifically within the context of LiquidHaskell's type checking and analysis framework. Changes range from code modifications to add new test cases and refinements and also to correct existing functionalities. The user's work indicates a deep understanding of the project's type system and the integration with Haskell.
haskellrefinement-typessmtverification
abakst/Brisk
Nov 2016 - Jul 2017
Contributions:69 commits, 49 pushes, 4 branches in 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.