Научно-педагогический состав

Соболь Валентин

Соболь Валентин
преподаватель (квалификационная категория "преподаватель"), институт прикладных компьютерных наук

Преподаваемые дисциплины в текущем учебном году

  • Математическая логика и теория доказательств

Педагогический стаж

Общий стаж:
5 лет

Публикации

2
Статья
2025 год

Фомина В.В., Соболь В., Кознов Д.В. MaxSMT-решатель, поддерживающий режим портфолио. Труды Института системного программирования РАН. 2025. Т. 37. № 4-1. С. 177-188.. doi: 10.15514/ISPRAS-2025-37(4)-10

Статья
2024 год

Tochilina E., Tamarin V., Mordvinov D., Sobol V., Pospelov S., Menshutin A., Kamenev Y., Ivanov D. UTBot Python at the SBFT Tool Competition 2024. SBFT'24: Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing. 2024. pp. 41-42.. doi: 10.1145/3643659.3643934

Повышение квалификации

Повышение квалификации
2024 год
Качество жизни

Российская Федерация, Санкт-Петербург