AY
Formal Methods Expert
Competition record
Education
Cornell University
Ph.D. · Computer Science
Lomonosov Moscow State University (MSU)
Diploma · Mathemathics; Applied Mathematics
Московская государственная Пятьдесят седьмая школа
Mathematics
Work
Leidos
Formal Methods Engineer, Software Accelerator
Red Balloon Security, Inc.
Head Of Research
HRL Laboratories
Research Staff Computer Scientist; Senior Computer Scientist
California Institute of Technology
Postdoctoral Scholar
Cornell University
Research Assistant
Sources & notes
Professional information comes from a saved LinkedIn profile indexed 10 August 2026. Affiliations have not been independently rechecked. “Listed current” reflects the source record. Education end dates may be expected graduation dates.
How this collection was made ↗