Opieka nad magistrantami & doktorantami

Przyjmuję magistrantów & doktorantów

Co roku ograniczona liczba studentów. Otrzymujesz konkretny kierunek badań, bezpośrednią opiekę naukową, współautorskie artykuły w recenzowanych wydawnictwach oraz jasną ścieżkę od pierwszego artykułu do obronionej rozprawy — publikacje ukazują się w czasopismach platformy ENIGMA oraz w wydawnictwach międzynarodowych (IEEE Access, materiały konferencji MathAI & SmartCity).

Twoja ścieżka: pierwszy artykuł w ~6 miesięcy → wystąpienie konferencyjne (MathAI / SmartCity) → rozprawa.

Kierunki

Pięć kierunków badawczych

Logika matematyczna & obliczalność

Obliczalność wielomianowa, semantyka formalna, twierdzenia o punkcie stałym — fundamenty, na których opiera się mój własny program badawczy.

Weryfikacja AI & godna zaufania AI

Metody formalne spotykają LLM-y: środowiska weryfikacyjne, sprawdzanie cytowań i to, czego trzeba, by zaufać modelowi w środowisku produkcyjnym.

Systemy wieloagentowe & architektury AGI

Zadaniowe architektury kognitywne, protokoły koordynacji i ekonomie agentów — linia badań opublikowana w IEEE Access.

Inteligentne miasta & cyfrowe bliźniaki

Agentowa symulacja miast, zarządzanie cyfrowymi bliźniakami i inteligencja obywatelska.

Teoria blockchain & metody formalne

Aksjomatyzacja systemów blockchain, weryfikowalne rejestry i warstwowe architektury wiedzy.

Napisz do mnie krótki list: Twoje doświadczenie i który kierunek Cię ekscytuje.

Aplikuj poniżej ↓ Aplikuj mailowo →

Zgłoszenie