Ведущая ищется по публикациям её сотрудников. Посмотрите, кого вы упомянули в иконостасе автореферата, откуда они. У них должны быть ученики, а у учеников - публикации. Никто Вам не придёт и не предложится в качестве ведущей, искать надо самостоятельно. Желательно, чтобы там были какие-то контакты - ведь кто-то должен организовать документ от кафедры, на котором потом распишется проректор по науке. Кто-то бегать с ним должен.

Спасибо за идеи про публикации. В итоге стала смотреть ведущие тех, кто там защищается в тематическом институте по похожим темам. Так нашла одно место более-мене подходящее. Можно будет попробовать, не знаю правда что из этого выйдет.

stri, Вам нужна помощь в поиске ведущей организации?

Да. Буду очень рада помощи.

Вам ВУЗ подойдет в качестве ведущей?

Да, конечно. Главное чтоб были публикации по близкой теме (автоматизация программирования например, компиляторы, нейросети и т. д.)

stri, тогда может в ИТМО?

Вполне подходит! Попробую.

Посмотрите матмех СПбГУ. На кафедре системного программирования точно занимаются этим https://se.math.spbu.ru/

я бы там к Андрею Николаевичу Терехову посоветовала обратиться, не знаю как сейчас, а раньше у него была своя программерская компания