Обо мне

Дополнительная информация:
self-archived stuff: http://hal.archives-ouvertes.fr/index.php?action_todo=search&submit=1&s_type=advanced&f_0=NMAUTHOR&p_0=is_exactly&f_1=PRAUTHOR&p_1=is_exactly&l_0=and&v_0=Zakharyaschev&v_1=Ivan

some notes on software: http://en.altlinux.org/User:Imz

me at linkedin: http://www.linkedin.com/in/izakharyaschev

my name spelled in Latin letters: Ivan Zakharyaschev

Профессиональные навыки
HaskellGitUnix
Опыт работы
Июнь 2000 — по настоящее время (17 лет и 4 месяца)
ALT Linux Team
developer, package maintainer
Москва
Октябрь 2009 — Ноябрь 2009 (2 месяца)
агентство
специалист по программным технологиям
Москва
Обязанности и достижения
Применил свободное ПО и открытые протоколы вот для чего:* чтобы сотрудники могли обрабатывать общую "базу данных" агентства каждый сам по себе и показывать эти данные на сайте -- git, ikiwiki;* иметь свой backup всего корпуса почты агентства (с историй прошлых состояний), независимый от используемого почтового сервера/сервиса -- offlineimap, git (см. заметки об этом решении на http://en.altlinux.org/User:Imz/ , а также http://superuser.com/a/286561/65570 ).
Июнь 2009 — Июль 2009 (2 месяца)
экспедиция ОТиПЛ МГУ в уральские языки
исследователь-полевой лингвист
Мужи, с.
Обязанности и достижения
продолжение экспедиции в диалект коми-зырянского под руководством А.И.Кузнецовой, С.Ю.Толдовой.
Июнь 2008 — Июль 2008 (2 месяца)
экспедиция ОТиПЛ МГУ в уральские языки
исследователь-полевой лингвист
Мужи, с.
Обязанности и достижения
Экспедиция в диалект коми-зырянского под руководством А.И.Кузнецовой, С.Ю.Толдовой.
Июнь 2007 — Июль 2007 (2 месяца)
экспедиция ОТиПЛ МГУ в уральские языки
исследователь-полевой лингвист
Москва
Обязанности и достижения
продолжение экспедиции в диалект мордовских языков под руководством А.И.Кузнецовой, С.Ю.Толдовой.
Октябрь 2006 — Май 2009 (2 года и 8 месяцев)
вольный
исследователь-теор. лингвист
Москва
Обязанности и достижения
Foundations of the theory of syntax-semantics interface -- type logics.Morphonemic analyses of particular languages, Optimality Theory.(See papers on Google Scholar.)
Июнь 2006 — Июль 2006 (2 месяца)
экспедиция ОТиПЛ МГУ в уральские языки
исследователь-полевой лингвист
Москва
Обязанности и достижения
Экспедиция в диалект мордовских языков под руководством А.И.Кузнецовой, Е.Ю.Калининой, С.Ю.Толдовой.
Январь 2006 — Июль 2006 (7 месяцев)
МГУ, ф-т ВМК
преподаватель-экзаменатор
Москва
Обязанности и достижения
Дискретная математика (2 курс).Вступительные экзамены по математике (письменный и устный).
Ноябрь 2004 — Декабрь 2004 (2 месяца)
семинар по свободному ПО, Фонд Сороса
преподаватель-лектор по разработке ПО
Алматы
Обязанности и достижения
проблемы i18n, l10n, m17n
Январь 2003 — Декабрь 2004 (2 года)
НИВЦ МГУ
исследователь-computer scientist
Москва
Обязанности и достижения
Проект по гранту по методам анализа программ под руководством Р.И.Подловченко, В.А.Захарова.Занимался алгоритмами проверки эквивалентности программ в аппроксимирующих моделях (см. статьи на Google Scholar).
Октябрь 1998 — Апрель 1999 (7 месяцев)
57 школа
преподаватель вечерней мат.школы
Москва
Обязанности и достижения
Вдвоём с одноклассником С.Городецким вели одну группу учеников 8-го класса в течение года.В тот год руководил ВМШ С.Г.Роман.
Высшее образование
Январь 2000 — Январь 2005
МГУ
Вычислительной математики и кибернетики, ВМиК
Москва
Специализация и достижения
:-]