Лебедев Михаил Владимирович

Tel.: +45 (рабочий), +45 (домашний) Email: Mikhail. *****@***dk

Дата рождения: 01.02.1965

Семейное положение: Женат. Имею дочь (17 лет).

Профессиональные навыки:

Области профессиональных интересов:

        Разработка программного обеспечения с использованием формального метода VDM (Венский метод разработки) Информационные системы клиент-сервер Интегрированные языковые среды разработки программ

Оборудование: IBM/PC, Alpha AXP, VAX

Операционные системы: WinNT, Linux, Digital Unix, VMS

Языки спецификаций: VDM-SL, VDM++

Языки программирования: C++, Java, Visual Basic

Языки запросов: SQL

Библиотеки классов: MFC, ATL, Booch C++ Components,

Java Multimedia Framework

Базы данных: Informix, MS Access, Rdb

Технологии клиент-сервер: CORBA, COM

CASE средства: Rational Rose

Места работы и должности:

II/2001 – по наст. время: Старший консультант,
Institutet For Anvendt Data Teknik (IFAD), Дания

I/1998 – I/2001: Главный специалист, Упр. прогр.-техн. обеспечения

Национального депозитарного центра

ХI/1996 – XII/1997: Старший техн. руководитель проектов,

московское проедставительство фирмы Digital

III/1994 - Х/1996: Инженер-программист,

московское проедставительство фирмы Digital

IX/1993 - II/1994: Ученый-исследователь,

московское представительство фирмы Ashtech

V/1993 - VIII/1993: Инженер-программист, Digital Equipment bv., Нидерланды

V/1988 - IV/1993: Инженер-программист, лаб. вычисл. методов, мехмат МГУ

Проекты:

Планировщик процессов: Проектирование и разработка алгоритма статического планирования для планировщика процессов управления и контроля за работой турбо-реактивного двигателя.

НЕ нашли? Не то? Что вы ищете?

Язык программирования: VDM++, JAVA

Заказчик: Pratt&Whitney

Коммуникационный модуль для системы Tactical Trainer (http://www. ifad. dk): Проектирование и разработка компонентов, эмулирующих электронные средства связи (телефоны, рации и т. п.) и обеспечивающие пользователей системы Tactical Trainer возможностью речевого общения между собой.

Язык программирования: JAVA

Вспомогательные библиотеки: Java Media Framework

Заказчик: IFAD

Транслятор с Java на VDM++ (http://www. ifad. dk): Проектирование и разработка транслятора с Java на VDM++ - составной части инструментария VDMTools Toolbox.

Язык программирования: VDM-SL, С++

Вспомогательные библиотеки: Qt

Платформа: WinNT, Linux

Заказчик: IFAD

Система Головного Депозитария или СГД (программное обеспечение, используемое в Национальном депозитарном центре): спецификация функциональных требований, тестирование.

Вспомогательное программное обеспечение для СГД: Проектирование и разработка системы подготовки поручений депо: редактирование, цифровая подпись, отправка по e-mail, извлечение поручений из входящих почтовых сообщений и импорт в СГД для дальнейшей обработки.

Язык программирования: C++,

Взаимодействие клиент-сервер: COM

Компоненты ActiveX: Crystal Reports (генератор отчетов)

Вспомогательные библиотеки: MFC, MAPI, Verba-OW (криптография)

Платформа: WinNT

Графический интерфейс для PDP-эмулятора Charon (http://www. /softresint/charon-11/index. htm): Проектирование и разработка приложения с графическим интерфейсом для конфигуриррования PDP-эмулятора Charon.

Язык программирования: Java

Заказчик: Digital

Компонет Методы&Модули для информационной системы Memas (http://bzax04.bgr. de/N2/TEXT/memas. htm): Проектирование и разработка информационной системы, позволяющей задавать запросы к реляционным базам, специфицировать методы вычисления новых данных из уже имеющихся и способы визуализации данных. Система базируется на технологии клиент-сервер и архитектуре Сompound document.

Языки: C++, SQL

Взаимодействие клиент-сервер: СOM custom interfaces

Доступ к базам данных: ODBC

Платформа: WinNT

Заказчик: BGR (Bundesanstalt fuer Geowissenschaften und Rohstoffe), Германия

Компонет Методы&Модули для информационной системы: Infothek – это предшественник системы Memas, базирующийся на тех же идеях.

Языки: C++, SQL

Взаимодействие клиент-сервер: DecMessageQ, IMS

Базы данных: Informix, Rdb

Платформа: OSF/1 и VMS, Xwindows, Motif

Модуль управления видео устройствами для системы Media Composer: Проектирование и разработка.

Язык программирования: C

Платформа: Ultrix, Xwindows, Motif

Заказчик: Digital Equipment bv., Нидерланды

Библиотека функций преобразования географических координат для GPS оборудования: Проектирование и разработка.

Платформа: MS DOS

Оборудование: Handheld PC

Язык программирования: C

Заказчик: Ashtech

Интегрированные языковые среды разрабртки программ для школьных компьютеров с ограниченными ресурсами (http://www. *****/softe. htm): Перенос редакторов-компиляторов для FORTRANа и школьного алгоритмического языка на школьные компьютеры УКНЦ.

Платформа: RSX11 (инструментальная ОС), RT (целевая ОС)

Оборудование: PDP11 (инструментальный компьютер), УКНЦ (целевой) Языки: C, MACRO11

Образование:

: мехмат МГУ, очное отделение

: мехмат МГУ, аспирантура (очно-заочная)

лето 1993: стажировка, Digital Equipment bv., Нидерланды

август 1995: Недельный курс по написанию интернационализованных (i18n) приложений под Windows NT и Digital UNIX.

апрель 1999: Недельный курс по администрированию INFORMIX-Online Server

октябрь 1999: Вводный курс по продуктам и услугам банка Cedelbank