Кстати, про мелькавший недавно ИСП РАН. Вот рассказ из первых рук, чем они там занимаются. Доклад – не изи катка про махание руками в воздухе от начальника транспортного цеха, а серьёзный разговор про верификацию ядра.