Котов Вадим Евгеньевич
Научные интересы
Теоретическая информатика, теория параллельной и распределенной обработки информации, семантика параллельных процессов, архитектура многопроцессорных систем, языки параллельного программированиа, распараллеливание алгоритмов и программ, сети ЭВМ, сверхсложные системы (Systems of Systems).
Научные публикации
• Theory of Parallel Programming. Survey of Practical Aspects. In: Advances in Information Systems Science, Vol. 6, Plenum Press, 1976.
• Введение в теорию схем програм. Наука, 1978, 257 стр.
• An Algebra for Parallelism Based on Petri Nets. In: Mathematical Foundations of Computer Science, Springer-Verlag, 1978.
• On Basic Parallel Language. In: Proceedings of the IFIP World Computer Congress, North-Holl. Publ., 1980.
• Сети Петри, Наука, 1984, 158 стр.
• Formal Models of Parallel Programs. In: Algorithms, Software and Hardware of Parallel Computers, Springer-Verlag, 1984.
Теория схем программ. Наука, 1991, 248 стр.
• Concurrency + Modularity + Programmability = MARS. Communications of the ACM, Vol. 34, No. 6, 1991.
• Systems of Systems as Communicating Structures. In: Object-Oriented Technology and Computing Systems Re-Engineering, Horwood Publ., 1997.
• Facilitating Analysis and Optimization of Large-Scale Enterprise System. In: Design, Performance and Scalability of the Distributed Enterprise Systems, Nova, 2001.
Премии и награды
• Орден «Знак Почёта», 1982 г.
• International Federation for Information Processing, The Silver Core, 1986 г.
| Должность | Организационная структура |
|---|---|
| член Отделения | |
| член секции | |
| член Регионального отделения | Email vadim.kotov@cs.cmu.edu |