• 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 году.
  • Научно-педагогический стаж: 2 года.

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

  • 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

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

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

CSR 2015

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