.\" vladimir(7). Made from the web page by mk7.mjs; do not edit by hand.
.TH VLADIMIR 7 2026-11-12 osipov.cc "My CV, set as a software manual page"
.SH NAME
vladimir osipov \- doing Excession Labs, mathematics student at UCL
.SH EXPERIENCE
.SS Excession Labs
.I co-founder, October 2026 to now
.PP
Penetration tests, security audits and AI red teaming. excessionlabs.ai
.IP \(bu 2
Also:
AI inference 4 to 10 times faster on NVIDIA and AMD GPUs.
.SS Project25 Inc.
.I co-founder, December 2025 to October 2026
.PP
An autonomous system that produced content on real devices. project25.live
.IP \(bu 2
US$350k SAFET with HomeDAO, December 2025.
.IP \(bu 2
Worked with YourEra (US) and Remi.
.IP \(bu 2
US$50k monthly run rate.
Then I moved to security, a larger market.
.SS ReflectAI
.I co-founder, February to March 2025
.PP
Three of us built an AI agent that spoke with a company's customers by
phone.
It won the AI Engine hackathon.
.IP \(bu 2
Investor talks:
Bessemer Venture Partners, Zero Prime.
.SS P10Y
.I productivity research, January to July 2025
.PP
Customer research for P10Y, which studies the productivity of software
engineers.
.IP \(bu 2
With Yegor Denisov-Blanch (Stanford Software Engineering Productivity
study), under NDA.
.SH AWARDS
.TP 7
.B AI Engine: UK University Hackathon.
1st among more than 200 participants from UCL, Oxford, Cambridge and
Imperial.
London, February 2025.
.TP 7
.B ETH Oxford.
3rd-place prize from Ava Labs.
February 2025.
.TP 7
.B AI for Good hackathon.
2nd.
Eurasian Hub, November 2024.
.TP 7
.B School olympiads, Russia.
Prize winner, National Data Analysis Olympiad (DANO).
Certificate of honour, National Mathematics Olympiad.
.SH PROJECTS
.TP 7
.B NewtonCards, 2024 to 2025.
AI flashcards.
UCL AI Foundry incubator.
.TP 7
.B StellaRamp (github.com/alygg77/StellaRamp), 2024.
Moves money from African mobile wallets to Stellar.
.TP 7
.B Rattleback (github.com/alygg77/Rattleback), 2023.
A model of a top that spins one way only.
.TP 7
.B Smaller projects.
A campus-tours app on the App Store (github.com/alygg77/CampusTourApp), a
lead finder in Python, and a script that trades on the news.
.SH EDUCATION
.SS University College London
.I London, UK, expected June 2027
.PP
BSc Mathematics and Statistical Science, third year.
.SS Moscow State School 57
.I Moscow, Russia, June 2024
.PP
Mathematics track.
GPA 4.8 of 5.
National mathematics exam:
100 of 100, top 0.45%.
.IP \(bu 2
In 2023 I taught evening mathematics classes there, as a volunteer, and
wrote two olympiad problems.
.SS IMS School
.I Limassol, Cyprus, June 2024
.PP
International A Levels:
A*A*A, self-taught.
.IP \(bu 2
Oxford MAT (exam only):
78 of 100.
.SH WRITING
.IP \(bu 2
AI judges give higher scores to longer forecasts, not to more accurate
ones.
(Longer, Not Better)
.IP \(bu 2
When an AI model plays a person, its answers change at the wrong times.
(Simulated Users Get the Time Course Wrong, CALE-AI)
.IP \(bu 2
A forecast shows what comes with an action, not what the action causes.
(When Is a Known Future Covariate an Intervention?, AI4TS)
.IP \(bu 2
A model trained before the Iran war reads the President's posts.
We test it against the oil price 10 minutes later.
(Reading the President's Iran-War Posts with a Pre-War-Cutoff LLM, FinFM)
.IP \(bu 2
AI bank-support agents follow their written procedure even when a step in
it is unlawful.
(The Procedure Comes First, FinFM)
.PP
Three articles.
I write them to check that I understand a thing.
.SS But do LLMs think?
.I 8 November 2024
.PP
Does GPT-4 solve coding tasks, or remember them?
.SS Elliptic Curves in 5 minutes
.I 6 October 2024
.PP
How adding points on a curve gives keys and signatures.
.SS zk-SNARK: QAP
.I 5 August 2023
.PP
How an equation becomes a proof that hides its inputs.
.SH ENVIRONMENT
.TP 14
.B LANGUAGES
English (TOEFL 107), Russian (native).
.TP 14
.B PROGRAMMING
Python, C++, Swift, LaTeX.
Beginner:
Go, R, Rust.
.TP 14
.B TOOLS
OpenAI, ElevenLabs and Twilio APIs, Next.js, ComfyUI, Runpod.
.TP 14
.B INTERESTS
Debating, crypto, politics, venture capital, sports, travel.
.TP 14
.B MAIL
vladimir@osipov.cc