Мы продолжаем рассказывать истории выпускников Computer Science Center. Сегодняшний герой — Егор Суворов — работает в калифорнийском стартапе Zenith и преподает курс по C++ в петербургском кампусе НИУ ВШЭ. Егор — олимпиадник, в 2014 году в составе команды СПбГУ он стал чемпионом ACM ICPC. А вот свои первые существенные шаги в промышленном программировании сделал благодаря CS центру.

Егор рассказал, почему начал участвовать в олимпиадах, где ему пригодился этот опыт и как он ушёл из олимпиад в промышленную разработку. А ещё дал советы, как проходить отборы на стажировки и где сейчас в России стоит учиться программированию. 

«Увлекательное испытание себя» – так описывают студенты участие в хакатоне, который проходит каждый семестр у первокурсников магистерской программы JetBrains&ITMO. DevDays – это три дня и три ночи интенсивной работы и горячих митингов, знакомство с новыми технологиями и множество строк кода. Ребята работают в небольших командах и проходят все этапы разработки: от возникновения идеи проекта до работающего решения. А прошедшей весной студенты наконец поработали друг с другом вживую после почти года удаленки. 

В этом посте рассказываем подробнее об идеях проектов: два плагина для Intellij IDEA,  приложение для тиктокеров, эмулятор мыши для механических клавиатур и чатбот-органайзер.

Нас часто спрашивают, можно ли поступить на магистерскую программу JetBrains в Университете ИТМО без профильного образования в бакалавриате. Мы отвечаем, что можно и подобные истории случаются каждый набор. Но нельзя не отметить, что в таком случае подготовка к поступлению и само обучение дается гораздо сложнее: студентам приходится осваивать больше материала в сжатые сроки. 

Ярослав Чернышев – выпускник 2020 года программы «Разработка программного обеспечения». В этом интервью он рассказал свою историю, которая, возможно, немного успокоит вас и подтолкнет  изменить сферу деятельности. Несколько лет назад Ярослав решил уйти из юриспруденции в IT. Что из этого вышло, читайте под катом. 

Привет, это Александр Нозик, и этот пост посвящен еще одной "интересной" магистерской программе (на этот раз на физтехе, совместно с JetBrains, Таврида Электрик и целым списком научных организаций). Про интересность вы решите сами, но программа в этот раз действительно уникальная (пока по крайней мере). Называется она Научное программирование (официальное название "Разработка и применение программного обеспечения в физических исследованиях") и расположена на ФПМИ и ЛФИ в МФТИ. Посвящена не отдельно физике, не отдельно программированию, не отдельно computer science, а стыку всего этого.

Если вы уже поняли, что это про вас, то можно бежать читать подробности и заполнять анкету на сайте программы.

Если нет, то читаем дальше.

Объявляем набор на магистерскую программу JetBrains “Разработка программного обеспечения” на 2021-2023 учебные годы. Мы ждем тех, кто уже обладает базовыми знаниями в программировании и готов посвятить два года интенсивной учебе.

Обучение ведется по двум специализациям: разработка ПО, алгоритмы и анализ данных в биоинформатике. Формат обучения — очный, на программе доступно 30 бюджетных и 5 контрактных мест.  

Привет! Сегодня мы будем говорить про многопоточность и расскажем про инструмент  Lincheck – один из ключевых проектов  Лаборатории параллельных вычислений в JetBrains Research. Если в двух словах, то это фреймворк для тестирования многопоточных структур данных под JVM, предоставляющий возможность декларативного написания тестов. Что это значит? Как правило, при написании тестов мы пишем саму логику тестирования. С Lincheck-ом же все иначе – вместо указания того, как тестировать, вы объявляете операции, которые необходимо проверить, критерий корректности (например, линеаризуемость) и возможные ограничения (например, "single-consumer" для очередей) – то есть указываете что тестировать. А дальше Lincheck уже сам со всем разберется.  В этом посте мы сделаем краткий обзор Lincheck-а и расскажем про режим model checking, который мы недавно зарелизили и который уже спас нам десятки часов отладки ошибок в алгоритмах.

В осеннем семестре 2020 года команда лаборатории Нейробиологии и физиологии развития прочитала курс «Вычислительные Нейронауки» для студентов партнерских магистратур ВШЭ и ИТМО, а также для заинтересованных вольнослушателей. Курс проводится в рамках образовательных программ JetBrains c 2019 года. В этом году, в отличие от прошлого, формат обучения был, естественно, дистанционный –– лекции и семинары проводились в виде видеоконференций. В ходе курса студентам был предложен базовый материал для изучения и обсуждения в аудитории, материалы для самостоятельного, более глубокого погружения, интересные практические задания по моделированию нейронов и биологических нейронных сетей. 

Цель курса –– дать студентам представление о том, что и какими способами можно моделировать в нейробиологии и дать им возможность немного попрактиковаться в этом на нескольких относительно простых задачах. Пререквизитами для полноценного усвоения материала являются умение программировать и интерес к биологии, однако, если даже вы не умеете программировать, но интересуетесь вопросами, касающимися работы нервной системы и ее моделирования –– вам все равно будет интересно послушать эти лекции!

• формализацию и верификацию семантики языков программирования в контексте слабых моделей памяти;
• логическое и реляционное программирование;
• теорию формальных языков и ее применения;
• метапрограммирование, специализацию и частичные вычисления;
• формальную верификацию и применение SMT-решателей.

На протяжении тысячелетий человечество волновали вопросы функционирования нервной системы: предпринимались попытки понять, как происходит восприятие и обучение, что такое эмоции и сознание, какую роль они играют, как они появились в ходе эволюции, каково влияние различных внешних и внутренних факторов на развитие и становление нервной системы человека и других животных. Все эти захватывающие темы так или иначе затронуты в нейробиологии и смежных с ней дисциплинах.

Нейробиология — это наука, изучающая структуру, функционирование и развитие нервной системы человека и животных. Brain science — более узкая дисциплина, посвященная головному мозгу человека. Нейробиология охватывает разные уровни организации — от молекулярного до системного, плавно переходя в молекулярную биологию и биохимию с одной стороны и в нейропсихологию (наука на стыке с психологией) с другой.Некоторые люди, как и в незапамятные времена, продолжают утверждать, что понять работу мозга невозможно, или же отрицают, что мозг порождает наш разум и сознание и т. д. Несмотря на все это, …