AeroLeads people directory · profile
Alexander Bakst Email & Phone Number
Research Engineer
at
Aarno Labs
1 work email found
@aarno-labs.com
1 phone found area 858
LinkedIn matched
✓ Verified Jun 2026
4 data sources
Profile completeness 100%
Current company
Role
Research Engineer
Location
San Diego, California, United States
Company size
Who is Alexander Bakst? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Alexander Bakst is listed as Research Engineer at Aarno Labs, a company with 5 employees, based in San Diego, California, United States. AeroLeads shows a work email signal at aarno-labs.com, phone signal with area code 858, and a matched LinkedIn profile for Alexander Bakst.
Alexander Bakst previously worked as Senior Researcher at Certora, Inc. and Member Of Technical Staff at Galois, Inc.. Alexander Bakst holds Doctor Of Philosophy - Phd, Computer Science from Uc San Diego.
Company email context
Email format at Aarno Labs
This section adds company-level context without repeating Alexander Bakst's masked contact details.
{first_initial}{last}@aarno-labs.com
89% confidence
AeroLeads found 1 current-domain work email signal for Alexander Bakst. Compare company email patterns before reaching out.
Profile bio
About Alexander Bakst
Motivated by two years of filesystem development for Linux, Unix (AIX/Solaris), and Windows, I started a PhD program to investigate tools for building high-quality systems software. In particular, the course of my PhD I have studied techniques for automatically building proofs that (a) low-level C programs and (b) distributed systems written in a high-level language (Haskell) both adhere to their specification. In both cases I developed tools that developers can run on their programs. I'm excited to continue to develop the tools users need to construct high quality systems, whether it by continuing to develop analyses that developers can use on their programs, developing new programming abstractions and compilation techniques that make it easier to construct and understand systems, or by bringing the techniques I have studied to an industrial setting.
Listed skills include Computer Science, C, Ocaml, Latex, and 17 others.
Current workplace
Alexander Bakst's current company
Company context helps verify the profile and gives searchers a useful next step.
Aarno Labs
11 roles · 20 years
Alexander Bakst work experience
A career timeline built from the work history available for this profile.
Senior Researcher
Current
Certora, Inc.
May 2022 - Present
Member Of Technical Staff
Apr 2019 - May 2022
Apr 2019 - Jun 2019
Senior Engineer
Oct 2017 - Apr 2019
Graduate Student
I researched techniques for automatically proving properties of imperative programs. I have developed a type system for automatically reasoning precisely about linked data structures.I am currently developing an analysis for transforming distributed programs (which may be written in a high level language such as Haskell) into equivalent single-threaded.
Sep 2011 - Sep 2017
Intern
Microsoft Research
Worked on tools to automatically prove correctness of the kernel of a multicore operating system.
Jun 2012 - Sep 2012
Software Developer
I worked on the Oracle cloud file system. I worked on the filesystem and storage kernel modules for AIX, Solaris, Linux, and Windows.
Jun 2009 - 2011
Intern
I worked on my M.Eng thesis at Autodesk. I investigated a new method to guide users in the creation of alignment curve groups. Specifically I developed a method to guide users when their input over-constrains the curves they are attempting to design.
Jun 2008 - Dec 2008
Intern
Jun 2007 - Aug 2007
Intern
Qualcomm
2006 - 2006
3 education records
Alexander Bakst education
Doctor Of Philosophy - Phd, Computer Science
Uc San Diego
M.Eng, Computer Science
Massachusetts Institute Of Technology
S.B., Computer Science
Massachusetts Institute Of Technology
FAQ
Frequently asked questions about Alexander Bakst
Quick answers generated from the profile data available on this page.
What company does Alexander Bakst work for?
Alexander Bakst works for Aarno Labs.
What is Alexander Bakst's role at Aarno Labs?
Alexander Bakst is listed as Research Engineer at Aarno Labs.
What is Alexander Bakst's email address?
AeroLeads has found 1 work email signal at @aarno-labs.com for Alexander Bakst at Aarno Labs.
What is Alexander Bakst's phone number?
AeroLeads has found 1 phone signal(s) with area code 858 for Alexander Bakst at Aarno Labs.
Where is Alexander Bakst based?
Alexander Bakst is based in San Diego, California, United States while working with Aarno Labs.
What companies has Alexander Bakst worked for?
Alexander Bakst has worked for Aarno Labs, Certora, Inc., Galois, Inc., University Of California San Diego, and Qualcomm.
How can I contact Alexander Bakst?
You can use AeroLeads to view verified contact signals for Alexander Bakst at Aarno Labs, including work email, phone, and LinkedIn data when available.
What schools did Alexander Bakst attend?
Alexander Bakst holds Doctor Of Philosophy - Phd, Computer Science from Uc San Diego.
What skills is Alexander Bakst known for?
Alexander Bakst is listed with skills including Computer Science, C, Ocaml, Latex, Linux, Python, C++, and Types.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial