Speaker:
Jussi Rintanen

Title:
Intelligent Automation in Software Production

Abstract:

I will discuss the application of A.I. and Formal Methods technologies in the construction of software systems. An area largely overlooked by A.I. and Formal Methods researchers has been Information Systems, understood generally as software systems with complex data and knowledge, stored in databases, and accessed and modified by human users. I will present a number of problems arising in this setting, as well as a number of solutions, based on constraint programming and automated reasoning, machine learning, and state-space search. Finally, I will discuss future research directions for making these systems (and not only their construction!) more intelligent.

**

Helsinki Algorithms Seminar is a weekly meeting of researchers in the Helsinki area interested in the art of algorithms and algorithm design, broadly interpreted to cover both theoretical ideas and algorithm engineering on concrete computing platforms. In most cases we have a presentation prepared for each meeting to communicate an idea, a recent result, work-in-progress, or demo, but this should not be at the expense of discussion and simply having fun with algorithms.

Our affiliations are with Aalto University and the University of Helsinki, and accordingly our activities alternate between the Otaniemi Campus of Aalto University and the Kumpula Campus of University of Helsinki, catalyzed by the Helsinki Institute for Information Technology HIIT, under the Algorithmic Data Analysis (ADA) programme.

For the season programme, please see the seminar webpage.