Обо мне

Специализация и профессиональные навыки:
Языки программирования: C, Erlang, Scheme, Python, Standard ML, C++, TCL, OCaml, Haskell.
ОС: UNIX/Linux, Android, iOS, Windows, Mac OS X, MS DOS.
Обработка естественного языка. Формальная семантика. Математическая и философская логика.
Распознавание речи.
Многоагентные системы. Сетевые протоколы. Геоинформационные системы.

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

Опыт работы
Март 2012 — по настоящее время
Разработчик, старший разработчик, старший разработчик-эксперт
Москва
Обязанности и достижения

Работал над задачами:
- библиотека для связи с сервером распознавания речи SpeechKit;
- ядро распознавания речи (член команды);
- голосовая активация;
- распознавание речи на мобильном устройстве.

Август 2002 — по настоящее время
фриланс
переводчик
Москва
Обязанности и достижения

Достижения:
- перевод книги Х.Абельсон, Дж.Дж. Сассман "Структура и интерпретация компьютерных программ"
- перевод книги Б.Пирс "Типы в языках программирования"
- перевод книги К. Окасаки "Чисто функциональные структуры данных"

Сентябрь 1998 — Февраль 2012
Дата Икс Флорин
программист
Москва
Обязанности и достижения

Обязанности:
- Разработка диспетчерской системы слежения за подвижными объектами Vidi Real Time.
- Разработка персонального автомобильного навигатора на основе PDA Vidi Palm

Февраль 1998 — Декабрь 2003
Проект Evolution of Human Language
разработчик сайта
Обязанности и достижения

Обязанности:
- Разработка интерфейса к этимологическим базам данных.

Май 1990 — Июнь 1995
НИИ Клинической Психиатрии НЦПЗ РАМН, лаборатория нейрофизиологии
программист
Москва
Обязанности и достижения

Обязанности:
- Разработка системы записи и обработки энцефалограмм EREA

Высшее образование
Август 2005 — Август 2011
UT
Liberal Arts
Остин
Специализация и достижения

Dept. of Philosophy.
Диссертация 'Representation of Inference in the Natural Language'
Научный руководитель Nicholas Asher

Сентябрь 1993 — Июнь 1998
РГГУ-Москва
ИЛ - Теоретической и прикладной лингвистики
Москва
Сентябрь 1987 — Февраль 1993
МИРЭА
Кибернетики
Москва