• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
русский
Контакты
Телефон:
+7(495)772-95-90*22668
Электронная почта:
Адрес: Москва, Кочновский пр-д, 3, комн. 325
Резюме (PDF, 161 Кб)
ORCID: 0000-0002-4536-0419
ResearcherID: A-5206-2014
Scopus AuthorID: 6701808416
Google Scholar
Присутственные часы
договоренность по электронной почте
Руководитель
Кузнецов С. О.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Щедров Андре

  • Начал работать в НИУ ВШЭ в 2014 году.
  • Научно-педагогический стаж: 3 года.

Образование, учёные степени

  • 1981
    PhD
  • 1977

    Специалитет: Университет в г. Загребе, специальность «Математика-теория математики»

Участие в редколлегиях научных журналов

С 2005 г.: член редколлегии журнала «Journal of Computer Security».

Конференции

  • 2016
    Formal Modeling and Analysis of Timed Systems, 14th International Conference, FORMATS 2016 (Quebec City). Доклад: Timed Multiset Rewriting and the Verifcation of Time-Sensitive Distributed Systems.
  • Symposium on Logical Foundations of Computer Science (LFCS 2016) (Дирфилд-Бич). Доклад: On Lambek’s Restriction in the Presence of Exponential Modalities

  • The 21st Conference on Formal Grammar (Больцано). Доклад: Undecidability of the Lambek calculus with a relevant modality
  • Symposium on Logical Foundations of Computer Science (LFCS 2016) (Дирфилд-Бич). Доклад: On Lambek's restriction in the presence of exponential modalities
  • The 21st Conference on Formal Grammar (Больцано). Доклад: Undecidability of the Lambek calculus with a relevant modality
  • 2015

    4th Conference on Principles of Security and Trust (POST 2015) (Лондон). Доклад: Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols

  • 18th IACR International Conference on Practice and Theory in Public-Key Cryptography (Gaithersburg). Доклад: Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds

  • The Fourth Annual Conference Logic and Applications (Дубровник). Доклад: Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols

  • 2014

    33rd Annual IEEE International Conference on Computer Communications (INFOCOM 2014) (Торонто). Доклад: A Reduction-based Approach Towards Scaling Up Formal Analysis of Internet Configurations


Публикации18

HSE and University of London: Joint BA Programme in Applied Data Analysis

In 2018, the Higher School of Economics will launch an English-taught double degree programme in partnership with the University of London in Applied Data Analysis. Graduates will be awarded an undergraduate degree from HSE in Applied Mathematics and Information Science and a Bachelor of Science in Data Science and Business Analytics from the University of London. International applicants are invited to apply online starting November 15, 2017.

НИУ ВШЭ и Лондонский университет открывают бакалаврскую программу двух дипломов по прикладному анализу данных

В 2018 году Высшая школа экономики начинает прием на англоязычную программу бакалавриата «Программа двух дипломов НИУ ВШЭ и Лондонского университета «Прикладной анализ данных». Все, успешно закончившие программу, получат диплом бакалавра по направлению «Прикладная математика и информатика»  НИУ ВШЭ и диплом Bachelor of Sciences in Data Science and Business Analytics  Лондонского университета.

Научно-исследовательская работа
со студентами НИУ ВШЭ

Опубликованы темы КР и ВКР департамента на 2015/16 учебный год.

CSR 2015

13-17 июля прошла 10-я международная конференция CSR 2015 – Computer Science in Russia. Эта крупнейшая в России конференция по теоретической информатике была организована при поддержке Иркутского государственного университета, НИУ ВШЭ и компании «Яндекс». В качестве приглашенного докладчика в конференции принял участие доцент Владимир Подольский. Также с докладом выступил доцент Максим Бабенко.