St.Petersburg, Russia
November 14–15, 2019


Bertrand Meyer award laureates at SECR 2019

Software Engineering Conference Russia 2019 took place on the November 14-15 in St. Petersburg. Traditionally, at the conference closing ceremony SECR Program Committee announced Bertrand Meyer* award laureates. This award is annually presented to the best scientific papers, presented at the conference.

This year award was shared between two works:

Automated Generation of Quantum Circuit Specifications Based on Reed-Muller Expressions – Vitaly Kalmychkov, Irina Metveeva, Saint Petersburg Electrotechnical University “LETI”.

CFL-Reachability Based Framework for Interprocedural Static Code Analysis Development – Ilya Nozhkin, Semyon Grigorev, SPbSU.


Among the other best papers of recent years:

The research papers, presented at the conference, will be published in the ACM Digital Library and submitted for indexing by Scopus and the Web of Science.

* Bertrand Meyer – Professor, Politecnico di Milano and Innopolis University; initial designer of the Eiffel method and language; initiated the Best Research Paper Award at Software Engineering Conference Russia in 2012.