JetBrains Research unites scientists working in challenging new disciplines

An overview of Kleene Algebra extensions

Theory of Kleene Algebras (KA) is a generalization regular languages theory.
The KA theory has many practically interesting models.
Moreover, it possesses several good properties, including the decidability and completeness of equational fragment.

In this talk, an overview of various extensions of this theory will be given
(including Kleene algebras with converse, Kleene allegories, Kleene algebras with tests and concurrent Kleene algebras).

Also, we will discuss various models of these theories and their applications, for example,
to the problem of validation of compiler optimizations and Hoare-style program verification.


Speaker -- Eugenii Moiseenko

7.10.2019, 17:15.

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg

State University, Stary Peterhof, Universitetski pr., 28