Головко Николай Вячеславович защитился 28 октября 2011 года по теме "Формально-семантический анализ многозначной лексики как средство оптимизации систем автоматизированной обработки текстов". Тема ориентирована на оперирование единицами предельно высокого уровня абстракции.