January, 28th: SimInTech as an universal platform for dynamic modelling of technical systems

Petukhov Vyacheslav

Petukhov Vyacheslav

Vyacheslav Petukhov — CEO at 3V-Services. He will tell about SimInTech with Leonid Skvortsov who is one of the developers of SimInTech.

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment

December, 17th: Formal verification of Linux kernel security module

Denis Efremov

Denis Efremov

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.

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment

November, 19th: Complexity problem at engineering

Anatoly Levenchuk

Anatoly Levenchuk

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.

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment

October, 15th: PleskFS — hybrid file system for cloud web hosting

Michael Routman

Michael Routman

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.

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment

The 2015/2016 season

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 sdat@ispras.ru to get pass to the University building. To get talk at the seminar, please email to Alexander Petrenko (petrenko@ispras.ru).

Leave a comment

Meeting in May 2015

We are welcome to the 4th conference “Actual Problems of Systems and Software Engineering” on 20 and 21 May of 2015. Please register on site http://ir.miem.edu.ru/.

Leave a comment

April, 16th: Developing of innovative commerсial software (f.e., Parallels Cloud Server)

Dmitry Mishin

Dmitry Mishin — Project Leader in Server Virtualization Department of Parallels. He was graduated from “System programming” department of MIPT based on Institute for System Programming of Russian Academy of Sciences (ISPRAS). Since 2004 he works at Parallels. Since 2006 he leads projects in area of server virtualization.

Sergey Bronnikov

Sergey Bronnikov — head of department on testing of Parallels Cloud Server and Parallels Containers for Windows. He works at Parallels since 2005. He started as a tester of Parallels Desktop for Mac. Then he organized testing of Parallels Server Bare Metal 4.0. Sergey is interested in testing of open-source, increasing of quality of open-source software.

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment

March, 19th: The first RUssian open-source Network OS

Alexander Shalimov

Alexander Shalimov

Alexander Shalimov — Senior Programmer-Developer at Applied Research Center for Computer Networks, Russia, and a Researcher at Lomonosov Moscow State University, Russia. He received Ph.D. in computer science. Summer 2010, he was an intern at Microsoft Research, Redmond, USA. From July, 2011 till July, 2012, he was a Visiting Researcher at Microsoft Research, Redmond, USA. Research interests are computer networks, computer architectures, and compilers.

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment

February, 19th: Modular mission-critical operating system (MOS OP)

Frolov Alexander

Frolov Alexander

Alexander Frolov is a developer of Wise Technique. His team develops software for avionics (for example, Object Control System RRJ-express for Sukhoi Civil Aircraft and Perspective Information-Control Field of Cockpits for Flight Research Center). His talk will be devoted to ideas of operating systems research and development (mainly for MOS OP) and software developing for these operating systems.

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment

January, 22nd: NPS — an alternative approach to computer networks simulation

1 Comment