Andrey Yao

Data Scientist

https://talent.gravityer.com/andrey-yao

Member since June 26, 2026

Key Strengths

Demonstrated interest in formal methods and programming language theory through projects like 'polylamb', 'DBLean4', 'mechanized-logical-relations', and 'Nautomata'.
Experience with various programming languages including Python, Rust, Haskell, C++, and Lean.
Personal website project ('andreyyao.github.io') indicates front-end development exposure and self-starter initiative.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's projects show a strong academic and research-oriented background, particularly in computer science theory and formal verification. This indicates a potential fit for roles requiring deep analytical thinking and problem-solving. The diversity of technologies used across personal projects suggests adaptability and a willingness to learn new tools. However, the projects are heavily skewed towards theoretical computer science and programming language design, which may not directly align with typical 'Data Scientist' roles without further evidence of data-specific applications.

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback provided.

AI is analyzing your overall score…

Identifying your key strengths…

Evaluating your skill match against the job requirements…

Assessing your cultural and operational fit

Projects

andreyyao.github.io

February 2, 2026 – Present

Personal website

View Project

DBLean4

October 10, 2024 – December 16, 2024

Formalization of databases theory in Lean4 for CS784 at UW Madison

View Project

mechanized-logical-relations

November 4, 2023 – December 4, 2023

This repo contains proofs for the logical relations mini course written in the Coq proof assistant

View Project

Logical-Relations-Mini-Course

October 27, 2023 – December 21, 2023

Logical-Relations-Mini-Course — GitHub repository

View Project

CS703

October 25, 2023 – December 15, 2023

Course project for CS703 FA23

View Project

Nautomata

May 18, 2023 – June 21, 2023

Nominal automata

View Project

polylamb

March 28, 2022 – January 12, 2024

A typed-preserving compiler from System F to Typed RISC-V assembly

View Project

llvm-experiment

March 15, 2022 – March 16, 2022

Trying out llvm

View Project

Tripods2021UA

December 15, 2021 – January 25, 2025

Tripods2021UA — GitHub repository

View Project

Key Strengths

Demonstrated interest in formal methods and programming language theory through projects like 'polylamb', 'DBLean4', 'mechanized-logical-relations', and 'Nautomata'.
Experience with various programming languages including Python, Rust, Haskell, C++, and Lean.
Personal website project ('andreyyao.github.io') indicates front-end development exposure and self-starter initiative.

Cultural & Operational Fit

Cultural Fit Analysis

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback provided.

Andrey Yao

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Projects

Key Strengths

Cultural & Operational Fit