Инвестор Харьковского аэропорта не выполняет свои обязательства – министр транспорта Украины

У нас есть причины обижаться на инвестора АКП Международный аэропорт Харьков (ООО НЬЮ СИСТЕМС АМ - SQ ) , инвесторы так себя не ведут. У нас с ними были договоренности, которые они, к сожалению, не спешат выполнять , - заявил 21 июля в Киеве журналистам, отвечая на вопрос SQ , министр транспорта Украины Иосиф Винский. По его словам, в Харьковском аэропорту ничего не сделано. Они такие инвесторы, как я космонавт. Если я им за государственные деньги проект разрабатываю, это инвестор? , - подчеркнул министр. Он отметил, что искать выход из этой ситуации должны городские власти Харькова. Они сделали этот гешефт, пусть они и думают, как из него выходить , - заявил И.Винский. Он подчеркнул, что чем быстрее такие инвесторы уйдут, тем лучше для аэропорта. По словам министра, сложившаяся ситуация, к сожалению, влияет на ситуацию в государстве, на подготовку к Евро-2012. Мы будем действовать так, как предусматривает государственная концепция развития аэропортов. Согласно концепции, аэродром принадлежит государству. Государство за свои средства разработает проект и сделает аэродром. А что касается терминала, то пусть строят они, не будут строить они будет строить кто-то другой, не построит кто-то другой поставим большую палатку, и там будем принимать пассажиров , - заявил И.Винский. далее…

Харьковский национальный университет включился в госпрограмму разработки систем формальной верификации программного обеспечения

02.07.2008 12:04 Экономика

Харьковский национальный университет (ХНУ) им.В.Каразина включился в госпрограмму разработки систем формальной верификации программного обеспечения. Об этом сообщил "SQ" завкафедрой теоретической и прикладной информатики университета Григорий Жолткевич. По его словам, разработка систем ведется совместно с Сертификационным центром АСУ (Харьков) Госкомитета Украины по ядерному регулированию. Сейчас разрабатываются алгоритмы проверки доказательства верности программ.По словам Г.Жолткевича, формальная верификация программного обеспечения - это методы доказательства правильности программы (отсутствия в ней ошибок). Направление формальной верификации сейчас востребовано в мире, так как растет количество программ, которые управляют технологически опасными объектами.По словам Г.Жолткевича, в январе 2009 г. в рамках программы разработки систем формальной верификации во Францию планируется направить четырех студентов пятого курса ХНУ. Студенты пройдут во Франции стажировку в качестве магистерской подготовки.

Алексей Грищенко


  Прокомментировать

Ваше имя: 
E-Mail: 
Комментарий: 
Введите код: 


     
Поиск по сайту
только в разделе Экономика

(copyleft) Kharkiv.info, 2006    RSS feeds.