JetBrains Research unites scientists working in challenging new disciplines

Series of seminars at the University of Lisbon

Series of seminars at the University of Lisbon

Head of the Optimization problems in software engineering Group Vladimir Ulyantsev searches for cooperation not only in the nearby capitals but also in those of Europe. On 17-23 October at the University of Lisbon researchers of his Group participated in a series of seminars with professor Joao Marques Silva. Joao is a well-known specialist in the field of complex optimization problems and software development for their solution. The seminars included discussions on the development of methods for finite-state machine inference, finding minimal undecidable set in a given formula, restoration of the high-level representation of a given CNF-formula. As a result, they came up to the topics for collaborative research between the groups of St Petersburg and Lisbon, which we will let you know about later!