Andrey Yao
Data ScientistMember since June 26, 2026
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
DBLean4
October 10, 2024 – December 16, 2024
Formalization of databases theory in Lean4 for CS784 at UW Madison
View Projectmechanized-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 ProjectLogical-Relations-Mini-Course
October 27, 2023 – December 21, 2023
Logical-Relations-Mini-Course — GitHub repository
View Projectpolylamb
March 28, 2022 – January 12, 2024
A typed-preserving compiler from System F to Typed RISC-V assembly
View ProjectCultural 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.