Liana Hadarean
Applied Scientist at Amazon Web Services
Summary
🤩
RockstarLiana Hadarean is an Applied Scientist with 14 years of experience and a current Principal Applied Scientist role at AWS, blending deep research instincts with production-grade software engineering. She has hands-on expertise in formal methods and theorem proving, contributing to the cvc5 SMT solver by implementing LFSC checkable resolution proofs, proof output options, and bit-vector rewrites to improve proof quality and correctness. Comfortable operating at the intersection of algorithms, systems, and tooling, she turns complex verification problems into robust, auditable implementations. Colleagues rely on her for both careful bug fixes and feature designs that make advanced formal techniques practical in real-world stacks. Less obvious: she excels at translating low-level proof-system improvements into developer-facing configuration and CLI features that broaden adoption.
14 years of coding experience
Github Skills (3)
cprogramming-language10
c-language10
theorem-proving10
Programming languages (4)
Github contributions (5)
cvc5/cvc5
Oct 2011 - May 2016
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:215 commits, 1 PR, 25 pushes in 4 years 7 months
Contributions summary:Liana was involved in implementing and refining the proof generation capabilities of the cvc5 theorem prover. Their contributions include the implementation of LFSC checkable resolution proofs, the addition of configuration options and command-line arguments to enable proof output, and the implementation of bit-vector rewrites. They made changes to the code to enhance the quality of the proof system and correct bugs.
proversatisfiabilitysmtproblemssatisfiability-modulo-theories
lianah/CVC4
Oct 2013 - Mar 2016
Contributions:334 commits, 1 PR, 122 pushes in 2 years 5 months
proversatisfiabilitysmtproblemssatisfiability-modulo-theories
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.