user @ logical-intelligence : ~ $
leadership.md
user@logical-intelligence:~$ cat leadership.md

# Leadership Team

## Eve Bodnia

Chief Executive Officer πŸ”— LinkedIn

Education: UC Berkeley, UCSB, PhD'2025 in Quantum Information and Algebraic Topology Applications

Research Collaborations:Princeton University, Harvard University

Expertise:

  • Algebraic topology

## Mikhail Rubinchik

Chief Technology Officer πŸ”— LinkedIn

Competitive Programming: ICPC Bronze Medalist 2011

Coaching Excellence: Coach of 3 ICPC medalist teams (2016, 2017, 2018), mentor to 2 IOI medalists (2014, 2020) and 200+ top students

Education: PhD'2016 in Theoretical Computer Science

Expertise:

  • Algorithm design and optimization
  • Technical workflow organization for companies
  • Team coding skills development
  • Leading cultural transformation to boost motivation and achieve high-impact outcomes

Network: Extensive network of ICPC/IOI mentees and top-tier algorithmic talent

## Vlad Isenbaev

Chief Research Officer πŸ”— LinkedIn

World Champion: ACM ICPC World Champion 2009

Competition Achievements: Google Code Jam Bronze Medalist 2013, Silver medalist in cryptography CTF

Technical Expertise:

  • Formal verification on low-level logic
  • AI infrastructure and systems
  • Pure mathematics and mathematical foundations
  • Mathematics of blockchains and cryptographic systems
  • Advanced algorithm design and optimization

## Michael Freedman

Chief Science Officer πŸ”— Wikipedia

Fields Medal: 1986 Fields Medal recipient for work on the PoincarΓ© conjecture

Industry Leadership: Microsoft Station Q, Google Quantum AI

Expertise:

  • Topology of 4-manifolds
  • Quantum information theory
  • Bridging pure mathematics with practical computing applications
  • Mathematical foundations of quantum systems