Computer Science Summer in Russia (CSSR)

Thomas Baar holds a diploma degree in computer science from Humboldt-University Berlin, Germany, and obtained his PhD from the University of Karlsruhe (today: Karlsruhe Institute of Technology - KIT), Germany. Since 2011, Thomas has been a Professor for Software Engineering and Databases at Hochschule für Technik und Wirtschaft (HTW) Berlin.

His research interests include the design of programming and modeling languages, the application of formal methods using tailored specification languages, interactive and automated theorem proving, and safety analysis of hybrid systems.

Senior Lecturer at the Southern Federal University in Rostov-on-Don, Software developer at JetBrains, Russia. Teaches functional programming, theory of computations, and theory of programming languages at the undergraduate level.

Vitaly Bragilevsky is a member of the Haskell 2020 Language Committee and the GHC Steering Committee. He has translated into Russian and edited translations of several books on Haskell and the theory of programming languages.

He is the author of the book 'Haskell in Depth' (Manning Publications, available via Manning's early access program).

Heide Brandtstädter received her diploma degree in Electrical Engineering from Technical University Berlin and her PhD degree in Control Engineering from Technical University of Munich. She joined Siemens Large Drives facility in Berlin in 2008 and worked as an expert for rotor dynamics of large electrical machines and torsional analyses of drive trains. Since April 2018 she has been a Professor at Hochschule für Technik und Wirtschaft (HTW) Berlin.

Her research focuses on mathematical modeling of dynamic systems and control theory, especially sliding mode control theory.

Alexander is a specialist in Data Analytics and Adaptive Control. He is a Senior Researcher at Ershov Institute of Informatics Systems and has tight collaboration with the Laboratory of Computation Theory and Applied Logic at Sobolev Institute of Mathematics.

Alexander has an extensive experience in the development and application of Data Mining and predictive systems for various domains including Medicine, Finance, and Bioinformatics. His current research is concerned with the development of intelligent self-learning robotic systems.

Senior Research Associate at Ershov Institute of Informatics Systems. Natalya is a specialist in logic and applications to verification of multi-agent systems and distributed algorithms.

Natalya has been working at Chung Ang University in South Korea and has participated in the EU FP7 project Computal on computable analysis. She is teaching courses on software verification and formal methods in software engineering at the Novosibirsk State University.

Stanislav Kikot is a specialist in logic and its applications for Data and Knowledge Engineering. He has graduated from Moscow State University and defended his PhD thesis on the correspondence theory in modal logic.

After an internship at Yandex he has been working in London on the fundamental problems of Ontology-Based Data Access. Currently he is a Research Associate at the University of Oxford in the Database Theory group.

Head of the Verification Group at the University of Liverpool. His research is concerned with three interrelated areas: methods for automated verification (specifically, for infinite state and parameterized systems), automated reasoning with applications to verification and mathematics, and computer security.

He has published more than 100 research papers. Alexei is a founding chair and member of Steering Committee of the VPT workshop series on Verification and Program Transformation, six editions of which have been held annually affiliated either with CAV or ETAPS conferences.

Alexei has served as an Invited Expert to the Horizon 2020 project SC^2 «Satisfiability Checking and Symbolic and is a Principal Investigator for the KTP (Knowledge Transfer Partnership) project on secure data processing and blockchain based technologies.

Senior Researcher at Ershov Institute of Informatics Systems and Senior Lecturer at the Novosibirsk State University. He has been working as a Visiting Professor and Senior Research Associate at the Department of Computer Science at Ryerson University, Toronto and the Institute of Artificial Intelligence at the University of Ulm, Germany.

Denis serves as a reviewer for the ACM Journal «Transactions on Computational Logic» and a program committee member to the top-level conferences on Artificial Intelligence, including AAAI and IJCAI, as well as the International Description Logic Workshop and related venues. His primary research interests include Knowledge Representation, Automated Reasoning, Ontology Engineering, and Reasoning About Actions.

Assistant Professor at Innopolis University. Specialist in the theory of programming and applied logic.

He had lecture and research positions at Sydney University of Technology (Australia), Nazarbayev University (Kazakhstan), University of Canterbury, Christchurch (New Zealand), Korea Advanced Institute of Science and Technology, Chung-Ang University, and Samsung Advanced Technology Training Institute (South Korea).

Currently his research interests are related to the foundations and applications of Formal Methods for the analysis of program, information, distributed, and multiagent systems.

His current research is concerned with the project "Platform Independent Specification and Verification of the Standard Mathematical Functions".

Lecturer at Altai State Technical University. Sergey is a specialist in modeling and testing distributed software systems based on multi-agent automata models and has an extensive industrial experience.

He is an author of the book «Rudiments of software testing and verification», published in 2018 (in Russian).

Specialist for highly loaded distributed systems and Deep Learning. He is a Senior Lecturer at the Novosibirsk State University and ambassador of the NVIDIA Deep Learning Institute at NSU.

Nick has an extensive experience of working in industrial projects using these technologies. An example is a smart parking system http://green-pay.ru

Senior lecturer at Novosibirsk State University. Dmitry teaches Discrete Mathematics, Mathematical Logic, and the Theory of Programming.

Dmitry is an inventor and developer of the Russel language, with a reasoning support for a broad class of formal deductive systems.

Chief Science Officer of Raincode Labs, a Belgian company providing compiler services and specialising in modernisation of software legacy systems.

Vadim has obtained a PhD from the Vrije Universiteit Amsterdam in the field of software language engineering with a focus on grammar(ware) technology. He has done research in that direction at Universität Koblenz-Landau in Germany, Centrum Wiskunde & Informatica in the Netherlands, as well as at the University of Amsterdam in the Netherlands, where he has also been extensively involved in teaching many graduate-level courses, supervising student projects, maintaining and expanding the network of university relations with the industry.

Besides hardcore software language engineering with grammar(ware) technology, his interests and research activities tend to invade such topics as software quality assessment, source code analysis and transformation, modelling, metamodelling and megamodelling, programming paradigms, declarative and functional programming, maintenance and renovation of legacy systems and others.

He is also actively practicing open science and open research, contributing to a range of open data and open source projects, co-organising and presenting at (mostly academic) events.