Некоторые интересные результаты работ Владимира Воеводского:

• Построение теории мотивных когомологий на стыке алгебраической геометрии и алгебраической топологии. 12 Учёный доказал её средствами гипотезы Милнора и гипотезы Блоха — Като. 12
• Разработка унивалентных оснований математики. 12 Воеводский инициировал и внёс решающий вклад в создание формального языка для абстрактных разделов математики, обеспечивающего автоматическую проверку доказательств на компьютере. 12
• Построение одновалентной модели теории типов Мартина-Лефа в симплициальных множествах. 3 Это привело к важным достижениям в теории типов и в разработке новых одновалентных основ математики. 3