TMPA-2021: keynote speakers
 |
Alexey Khoroshilov
Lead Researcher, Ivannikov Institute for System Programming of the Russian Academy of Sciences
Bio
|
Formal Methods: Theory and Practice of Linux Verification Center
Abstract:
The talk will review the challenges that formal methods meet being applied in industrial settings, as well as the patterns that are often used to overcome these challenges. Alexey will also share the experience of using patterns within the projects of Linux Verification Center of ISPRAS.
 |
Franck Cassez
Lead Researcher, ConsenSys
Bio
|
Formal Verification of the Eth2.0 beacon Chain
Abstract:
The Beacon Chain is a core component of the new Ethereum 2.0 blockchain. We have formally verified a large part of the Beacon Chain specifications and in this talk I will report on our verification experience and findings.
Links:
GitHub repo
Report
 |
Mohamed Elsayed Ahmed Mohamed (Abd Elaziz)
Professor at School of Computer Science and Robotics, TPU
Bio
|
Meta-heuristic Techniques and Their Applications
Abstract:
The field of metaheuristics (MH) techniques has flourished over the years due to their high influence on the performance of different artificial intelligence techniques that are applied in various real-world applications. These MH techniques include four categories 1) swarm-based, 2) Evolutionary-based 3) Human-based, and 4) physical-based. According to simulate these behaviors, the MH techniques established their performance to solve the single or multi-objective optimization problems. For example, Cloud computing, Healthcare, engineering problem, and others.
 |
Iosif Itkin
CEO and co-founder, Exactpro
Bio
|
Automation in Software Testing. Humans and Complex Models.
Abstract:
As part of the TMPA-2021 conference, Exactpro’s CEO and co-founder Iosif Itkin will give a presentation on Automation in Software Testing. Humans and Complex Models. In this presentation, Iosif will give a brief overview of research on the concept of model-based testing and the principal challenges of its application while testing complex distributed systems. He will also outline the broader context of interaction between humans and complex computer models.
Alexey Khoroshilov
Lead Researcher, Ivannikov Institute for System Programming of the Russian Academy of Sciences
Prof. Alexey Khoroshilov is the leader of a research group at ISPRAS for verification of critical software systems and is the head of the Linux Verification Center of ISPRAS, where a number of verification techniques are developed and applied to the Linux kernel and real-time operating systems. Since 2015 Alexey, has been leading the development of JetOS (ARINC653-based real-time operating system for civil avionics).
His main research interests include:
- operating systems;
- verification technologies including formal methods;
- model-driven development of critical software systems.
Alexey holds an MSc degree in Computer Science from Moscow State University and a PhD degree from ISPRAS.
Franck Cassez
Lead Researcher, ConsenSys
Franck's research interests are broadly in formal methods, more specifically automated verification techniques such as software verification and model-checking, static analysis. He has published more than 80 research papers in peer-reviewed journals & conferences, 1 US patent and contributed software verification tools and packages.
Before joining ConsenSys, Franck worked as a research scientist/academic for 25 years, at the French National Centre for Scientific Research (CNRS, France), National ICT Australia (NICTA now DATA61, Sydney AU) and Macquarie University (Sydney AU). He is a Marie Curie Fellow (2008) and a conjoint Associate Professor at Macquarie University.
Mohamed Elsayed Ahmed Mohamed (Abd Elaziz)
Professor at School of Computer Science and Robotics, TPU
Mohamed Abd Elaziz received the B.S. and M.S. degrees in Computer science from the Zagazig University, in 2008 and 2011, respectively. He received Ph.D. degree in mathematics and computer science from Zagazig University, Egypt in 2014. From 2008 to 2011, he was Assistant lecturer in Department of computer science. He is associate professor at Galala University, Egypt. He is the author of more than 200 articles. ABD ELAZIZ is one of the 2% influential scholars in the Field of Artificial intelligence (AI) according to the PLOS Biology magazine that announced a study by number of professors from Stanford University. His research interests include metaheuristic technique, security, IoT, cloud computing, machine learning, signal processing, image processing, Natural Language Processing, and evolutionary algorithms. Mohamed works as a professor at School of Computer Science and Robotics, Tomsk Polytechnic University.
Contacts:
Scholar Google
Research Gate
Scopus
Linkedin
Iosif Itkin
CEO and co-founder, Exactpro
Iosif is co-founder and co-CEO of Exactpro, a specialist firm focused on functional and non-functional testing for market infrastructures. Founded in 2009 with ten core specialists on board, Exactpro now employs over 700 specialists. In May 2015 - January 2018, Exactpro was part of the Technology Services division of the London Stock Exchange Group (LSEG). In January 2018, the founders of Exactpro completed a management buyout from LSEG.
Iosif manages business development and research in the field of high-load trading systems reliability. He is actively involved in delivering strategic software testing initiatives. Iosif has organized several industry conferences, including EXTENT — a Software Testing and Trading Technology Trends Conference. He frequently speaks at FinTech events worldwide.
Iosif started his professional career in 2000 as a software engineer in a US-based software development company. For seven years, he worked as a Team Lead and a Technology Architect on projects for a number of US companies. In 2006, Iosif joined a company providing QA services in the financial sector. His extensive software development experience helped him to establish a Performance Testing Department specialising in testing high load trading systems. As a Technical Lead, Iosif was responsible for developing testing tools and implementing technical solutions for a number of leading exchanges and global investment banks. Iosif's experience also includes managing a consulting practice focused on advanced execution systems. As VP of Technology, he was responsible for implementing testing solutions on a number of complex projects for customers all around the globe.
