The seminar is devoted to modern problems of software engineering, development tools and methods, program analysis and verification. Topics discussed in the seminar include
Requirements engineering, analysis and modeling
Paradigms for computers modeling
Static and dynamic program analysis
Dynamic verification and monitoring
Automatic test case generation
Verification completeness analysis
Performance modeling, measuring and testing
Security and safety analysis
Integration of verification methods
Problems of propagation of new technologies to software engineering practices
Problems of teaching software development and analysis
The seminar is intended to students, researchers, engineers, industrial experts. The companies participating in the seminar include Intel, Microsoft, Яндекс.
The seminar takes place in Moscow, Russia, each third Thursday every month. Start time is 5p.m. Auditorium “110″ of the Institute for System Programming of Russian Academy of Sciences (see map on the right).
Yury Lazutin — Dr., head of Department (Scientific Research Institute of System Analysis of Russian Academy of Sciences). His talk is devoted to problems and achievements in developing of Module Support Packages for real-time operating systems.
Denis Efremov — works at ISPRAS (Institute for System Programming of Russian Academy of Sciences). He is graduated from Lomonosov Moscow State University in 2011. Projects he took part include developing the secure hypervisor, developing tools of static and dynamic verification. His current project is verification of a Linux kernel module.
Anatoly Levenchk — president at TechInvestLab, member of ACM Member of INCOSE (president of INCOSE Russian Chapter), member of ASEM (American Society for Engineering Management), member of ACDM (The Association for Configuration and Data Management), member of Executive Committee of SEMAT Russian Chapter Since 2012.
Michael Routman is a leader programmer and researcher at Novosibirsk State University. The hybrid file system PleskFS combines features of NFS and ISCSI to solve such problems as big data access time, bad functionality, etc.
Dear participants of the seminar! We will continue at fall of 2015. The first meeting is planned to October, 15th. You may see the seminar through the Internet (we broadcast the seminar) or take part at Lomonosov Moscow State University, Computational Mathematics and Cybernatics Department, each 3d Thursday at 6:00 pm (Moscow time). If it will be the first your visit, please email your name to firstname.lastname@example.org to get pass to the University building. To get talk at the seminar, please email to Alexander Petrenko (email@example.com).