Сергей Михайлович Крылов
| Сергей Михайлович Крылов | |
| |
| Этническая принадлежность: | русские |
|---|---|
| Гражданство: |  Россия
|
| В запросе есть пустое условие. | |
| Научная сфера: | информационные технологии |
| Место работы: | Самарский государственный технологический университет |
| Известен как: | создатель формальной технологии |
| Награды и премии: | лауреат Всесоюзного конкурса по микроэлектронике |
Сергей Михайлович Крылов — профессор кафедры «Вычислительная техника» факультета автоматики и информационных технологий Самарского государственного технологического университета.
Получил диплом инженера по специальности «Электронные вычислительные машины» в 1973 г., в 1983 г. окончил аспирантуру НИИМП (г. Зеленоград, Москва), в 1984 г. защитил кандидатскую диссертацию по дискретно-аналоговым системам, а в 2005 г. — докторскую диссертацию по теме «Теория и методы разработки многофункциональных программируемых технологических систем на основе формально-технологического анализа». В 1990 г. стал лауреатом Всесоюзного конкурса по микроэлектронике. Более тридцати лет интенсивно работает в области нового междисциплинарного научного направления — формальной технологии.
C помощью методов формальной технологии удалось впервые показать существование иерархии в классе универсальных по Тьюрингу дискретно-аналоговых вычислительных машин — то есть там, где такой иерархии — согласно тезису Тьюринга-Черча, вроде бы быть не должно, другими словами, показана ограниченность т. н. «физического тезиса Тьюринга-Чёрча».
Этот неординарный (и вместе с тем простой по технике доказательства) факт подтверждает, что формальная технология на самом деле потенциально богаче математики, поскольку позволяет вовлечь в формально-логические построения гораздо больший круг объектов, нежели это предполагают классические математические методы.
Область смежных научных интересов — дискретно-аналоговые системы, эволюция в природе и технике.