COURSE EXPERIENCE
Teaching Formal Methods: An Experience Report
A review of the structure of a course on Advanced Statistics for Data Scientists
Reflection on Teaching Formal Approaches for Software Development in Higher Education
Experience of mixed learning strategies in teaching Lean Software Development to third year undergraduate students
Teaching Theoretical Computer Science at Innopolis University
LESSONS LEARNT
Teaching Software Testing to Industrial Practitioners using Distance and Web-Based Learning
Towards code review guideline in a Classroom
IT education in St. Petersburg State University
Ten Unsafe Assumptions When Teaching Topics in Software Engineering
CURRICULUM AND COURSE DESIGN.-Analysing the SWECOM standard for designing a DevOps education programme
Teaching Logic, from a Conceptual Viewpoint
On the Design of a New Software Engineering Curriculum in Computer Engineering
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula
COMPETITIONS AND WORKSHOPS
Designing Interactive Workshops for Software Engineering Educators
Hackathons as a Part of Software Engineering Education: CASE in Tools Example
Teaching E cient Recursive Programming and Recursion Elimination using Olympiads and Contests Problems
EMPIRICAL STUDIES
Experience in monitoring EEG signals during summer student internships
A Study of Cooperative Thinking
TOOLS AND AUTOMATION
Analysis of Development Tool Usage in Software Engineering Classes
Applying test-driven development for improved feedback and automation of grading in academic courses on software development
GLOBALIZATION OF EDUCATION
Internationalization Strategy of Innopolis University
Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization
TOOLS Workshop: ARTIFICIAL AND NATURAL TOOLS (ANT)
Automated Cross-Language Integration Based on Formal Model of Components
Scalable Thread-Modular Approach for Data Race Detection
On the development of the compiler from C to the processor with FPGA accelerator.