Master's & PhD Students — Andrey Nechesov, PhD
Master's & PhD supervision

I'm taking on Master's & PhD students

A limited number of graduate students each year. You get a concrete research direction, hands-on supervision, co-authored papers in peer-reviewed venues, and a clear track from your first article to a defended dissertation — publications go through the ENIGMA platform journals and international venues (IEEE Access, MathAI & SmartCity proceedings).
Your track: first paper in ~6 months → conference talk (MathAI / SmartCity) → dissertation.
Andrey Nechesov, PhD
Directions

Five research directions

Mathematical Logic & Computability

Polynomial computability, formal semantics, fixed-point theorems — the foundations my own research programme runs on.

AI Verification & Trustworthy AI

Formal methods meets LLMs: verification harnesses, citation checking, and what it takes to trust a model in production.

Multi-Agent Systems & AGI Architectures

Task-based cognitive architectures, coordination protocols, and agent economies — the IEEE Access line of work.

Smart Cities & Digital Twins

Agent-based city simulation, digital-twin governance, and civic intelligence.

Blockchain Theory & Formal Methods

Axiomatization of blockchain systems, verifiable records, and layered knowledge architectures.

Write me a short letter: your background, and which direction excites you.

Apply below ↓  Apply by email →

Application

Or apply right here — CV attached

I read every application personally and reply within about a week when there's a fit.