Итоги года
Писать в блоге что бы то ни было после долгого перерыва, как оказалось, весьма непросто, а уж нечто, поражающее своей оригинальностью, - тем более. Ощущения в чём-то схожи с возвращением со школьных каникул, когда пальцы отвыкли держать ручку.
Так или иначе, а это знак, что надо тренировать ту часть мозга, которая ответственна за выражение нетехнических мыслей в доступной форме. А так как нет ничего проще, чем давать себе обещания, то пока что остаётся только пообещать себе не лениться в наступающем году и регулярно самовыражаться письменно. Благо, материала и впечатлений накопилось достаточно. Дело за малым - лень перебороть.
Ну а так как начинать с чего-то все равно надо, перечислю-ка я, пожалуй что, достижения за минувший год. Итак
в 2012 году я
- женился;
- стал Ph.D.;
- сдал кучу языковых экзаменов и, как результат, получил B1 по испанскому, B2 по французскому и нидерландскому, а также A1 по датскому;
- опубликовался в Information Processing Letters, а также на ESOP'12, MPC'12 и ICFP'12. В связи с этим съездил с докладами в Таллинн, Мадрид и Копенгаген. Статьи с MPC и ICFP позже пригласили опубликовать в журналах;
- совместно с Dominique Devriese написал расширение к GHC для рекурсивных аппликативных функторов и статью по этому вопросу, ныне принятую на PEPM'13;
- съездил на 3 месяца в MSR Cambridge, где под руководством SPJ отрефакторил, формализовал и расширил demand analyser в GHC и зависящие от него оптимизации;
- доложился по предыдущему пункту на SPb FProg 12;
- не без сожаления простился с KU Leuven и покинул гостеприимную Бельгию, где прожил последние 4 года;
- ещё с большим сожалением покинул JetBrains, впрочем, с некоторыми шансами на возобновление сотрудничества в будущем;
- был приглашён на должность постдока в IMDEA Software, где буду работать под руководством Aleksandar Nanevski и Anindya Banerjee;
- собрал кипу документов и подался на испанскую рабочую визу.
С наступающим и до встречи в новом году!