Пшеницын Тихон Григорьевич

Родился 21 апреля 2000 года в Москве. Выпускник изобретательского профиля 179-й школы.

Выпускник кафедры математической логики и теории алгоритмов МГУ.

Аспирант и стажёр-исследователь в Математическом институте академии наук им. В. А. Стеклова (с 2023).

Награждён медалью РАН.

Профиль в системе ИСТИНА: https://istina.msu.ru/profile/TPshenitsyn/.

Публикации и доклады на конференциях

1. Pshenitsyn T. (2021) Powerful and NP-Complete: Hypergraph Lambek Grammars. In: Gadducci F., Kehrer T. (eds) Graph Transformation. ICGT 2021. https://doi.org/10.1007/978-3-030-78946-6_6
2. Pshenitsyn T. (2021) Grammars Based on a Logic of Hypergraph Languages. GCM 2021, June 22. 
3. Пшеницын Т. (2021) Исчисление Ламбека с операциями следования и предшествования. Доклад на международном молодежном научном форуме «Ломоносов-2021».
4. Pshenitsyn T. (2020). Weak Greibach Normal Form for Hyperedge Replacement Grammars. In Proceedings of the Eleventh International Workshop on Graph Computation Models, Online-Workshop. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GCM7
5. Pshenitsyn T. (2020) Hypergraph Basic Categorial Grammars. In: Gadducci F., Kehrer T. (eds) Graph Transformation. ICGT 2020. https://doi.org/10.1007/978-3-030-51372-6_9
6. Пшеницын Т. (2020) Последовательное замыкание классов языков относительно пересечений и гомоморфизмов. Доклад на международной конференции «Ломоносов-2020».
7. Pshenitsyn T. (2019) Optional division Lambek calculus grammars. Доклад на European Summer School in Logic, Language and Information. https://www.researchgate.net/publication/336990011_Optional_Division_Lambek_Calculus_Grammars
8. Пшеницын Т. (2019) Групповые грамматики и контекстно-свободные грамматики. Доклад на международной конференции «Ломоносов-2019» (отмечен как лучший в секции «Математическая логика, алгебра и теория чисел»).

Участие в школах

• Европейская летняя школа по логике, языку и информации ESSLLI (2023, Любляна, Словения).
• Школа современной логики, рациональности и информации SPLogIC (2023, Кампинас, Бразилия).
• Европейская летняя школа по логике, языку и информации ESSLLI (2022, Голуэй, Ирландия).
• Европейская летняя школа по логике, языку и информации ESSLLI (2019, Рига, Латвия).

Научные интересы и связанная с ними деятельность

Под руководством Степана Львовича Кузнецова я изучаю исчисление Ламбека. Мне интересны задачи, связанные с формальными грамматиками и формальными языками, в частности вопросы обобщения формальных грамматик на графы (на них отвечает теория графовых грамматик). Проект, составляющий основу моих текущих исследований, заключается в обобщении исчисления Ламбека на гиперграфы и изучении особенностей и свойств получающегося формализма.

Свои исследования я представлял на международных конференциях, а также на объединенном семинаре «Логические проблемы информатики» и «Модальная и алгебраическая логика» (см. http://logic.math.msu.ru/obedinennyj-seminar/).

Иные интересы

Я увлекаюсь лингвистикой, в том числе математической лингвистикой (к которой можно отнести и исчисление Ламбека) и олимпиадной лингвистикой.

• Участвовал в Летней лингвистической школе (http://www.lingling.ru/sschool/) в 2016-2019 годах (как школьник и как помощник-студент).
• Помогал в организации Устной олимпиады по лингвистике (https://vk.com/hseling.for.school) в 2018-2022 годах составлением и приемом задач.
• В 2019-2020 году вместе с коллегой и учительницей Телешевой Ольгой Дмитриевной проводил кружок «Вокруг света за 273 дня» для школьников 6-7 классов, в рамках которого мы с учениками погружались в языки и культуры народов мира.