On-line конференция с Юрием Гуревичем, исследователем Microsoft Research

Опубликовано Andrey Glazov 27.10.2009 в 11:50

 

On-line конференция с Юрием Гуревичем, исследователем Microsoft Research
Юрий Гуревич – математик и информатик, создатель теории машин абстрактных состояний. Последние 11 лет он работает  в Microsoft Research, где он основал группу фундаментальных исследований в области программной инженерии.

Он также является заслуженным профессором Мичиганского университета и автором более двухсот научных статей по логике, конечной теории моделей, теории машин абстрактных состояний, программной инженерии.
Юрий Гуревич является ACM Fellow и Guggenheim Fellow, членом Европейской Академии Наук, почетным доктором Бельгийского университета Hasselt и Уральского Государственного Университета.

Вы можете задать вопросы Юрию Гуревичу в нашем блоге.

 

Комментарии

Сергей Владимов Сергей Владимов
Опубликовано 27.10.2009 в 12:38

Юрий, расскажите, что представляет из себя Microsoft Research изнутри? На что больше похоже: на коммерческую компанию или исследовательский институт?

Alexander Alexander
Опубликовано 27.10.2009 в 03:49

Скажите, в каких пользовательских программах Microsoft применялись результаты ваших работ? Или они пока носят чисто исследовательский характер?

IgorN IgorN
Опубликовано 27.10.2009 в 05:36

Юрий, при разработке реальных механизмов оценкой их живучести является проверка на резонанс. В сложных конструкциях всегда очень трудно заранее предсказать, на каких частотах он будет возникать. Поэтому обычно его выявляют только на стадии опытных испытаний (если выявляют).

В программной инженерии абстрактных машин, видимо, тоже существуют аналогичные пограничные состояния, когда заложенный в них алгоритм работы нарушается, но система должна продолжать работать (т.е. оставаться живучей).

Есть ли какие-либо дополнительные проверки на "живучесть" для программных механизмов (помимо проверки правильности алгоритма)?

Арсений Арсений
Опубликовано 28.10.2009 в 01:53

Юрий, можно ли с точки зрения математики прогнозировать увеличение скорости и эффективности вычислений компьютерных процессоров? Или это - скорее маркетинговый вопрос?

alex alex
Опубликовано 29.10.2009 в 02:26

Хотелось бы узнать, каким образом можно привлечь внимание специалистов из Microsoft Research к своей разработке (идее)? Есть ли подобные прецеденты?

Почему некоторые программы Microsoft Research (например AutoCollage или Pex), платные?

Каким образом можно принять участие в проектах MS Research "обыкновенному" человеку?

Спасибо за ответы.

fedot-strelec fedot-strelec
Опубликовано 29.10.2009 в 04:07

Добрый день, вы не могли бы описать процедуру собеседования при приёме на работу в Ваш отдел?!?

gabriell gabriell
Опубликовано 29.10.2009 в 10:01

А собственно линк на конференцию можно получить?

eyeofhell eyeofhell
Опубликовано 29.10.2009 в 10:39

Как вы оцениваете применимость actor model в разработке прикладного ПО под OS Windows? Ведутся ли исследования в этом направлении? Стоит ли ожидать появления межпоточных сигналов в мейнстрим технологиях?

sirotenko_m sirotenko_m
Опубликовано 30.10.2009 в 12:33

Как вы оцениваете сегодня интерес MS Research к машинному обучению и специалистам в этой области?

Сазонов Илья (sie) Сазонов Илья (sie)
Опубликовано 02.11.2009 в 06:53

1. Производители видео карт вышли за традиционные рамки и начали производить системы высокопроизводительных параллельных вычислений, которые доступны массовому рынку. Станет ли это по вашему мнению столь же революционным в индустрии и в жизни буквально каждого человека как появление когда-то процессора Intel 4004? Как это изменит наше и ваше ближайшее компьютерное будущее?

2. Индустрия постоянно развивает и выпускает на рынок все более совершенные процессоры, видео карты и т.д.- прогресс несется вперед. Но такая область как распознавание и синтез речи попрежнему остается далекой от массового применения в силу дороговизны и низкого качества существующих разработок.И это при том, что речь это основное средство общения людей: выражения мыслей, чувств, передачи и получения информации! Мы же как и 15 лет назад продолжаем стучать по клавишам и щелкать кнопкой мышки. В чем же дело? Неужели проблема настолько сложна для ученых? Есть пробелы в фундаментальных исследованиях?

Алина Алина
Опубликовано 02.11.2009 в 07:59

Юрий, скажите, какую профессиональную задачу вы решаете сейчас?

Andrey Glazov Andrey Glazov
Опубликовано 02.11.2009 в 08:06

Конференция закрыта. Ответы будут опубликованы отдельным постом. Спасибо всем, кто принял участие.

Alexey1409 Alexey1409
Опубликовано 20.12.2009 в 02:22

Здравствуйте. Простите, возможно я не по адресу, но не могли бы Вы мне подсказать, кому бы мне было можно задать вопрос о восстановления данных, зашифрованных Bitlocker на съемном диске и случайно отформатированных (быстрое форматирование - очистка оглавления диска)?  Ключи сохранены отдельно. Заранее благодарен. Алексей. alexus14@mail.ru.

Опубликовано 21.12.2009 в 06:58

Действительно чуть-чуть не по адресуSmile
Спросите здесь answers.microsoft.com/ru-ru/windows/default.aspx - там точно ответят.
Удачи.

Добавить комментарий

Ник *
Правила
комментирования
Согласен с правилами комментирования
Комментарий
* — Поля обязательные для заполнения!
Для публичного просмотра доступен только ваш ник.