Prestigious visiting professorship for Kim Guldstrand Larsen

Kim Guldstrand Larsen has been awarded a visiting professorship at Institut National de Recherche en Informatique et en Automatique in France.

Next time that Professor Kim Guldstrand Larsen travels to Rennes in France, it will be due to his being awarded a visiting professorship at the prestigious national center for IT research in France, INRIA (Institut National de Recherche en Informatique et en Automatique).

The visiting professorship is awarded in the shape of an INRIA International Chair with a duration of 2016-2020. Usually, only 1-2 visiting professorships are awarded annually, and they are only awarded to extraordinary and established researchers with a distinguished scientific career. In practice, the visiting professorship means that Kim Guldstrand Larsen will spend 1-2 months a year at INRIA. INRIA has 8 branches in France, and Kim Guldstrand Larsen will be associated with the Rennes department.

In Rennes, Kim Guldstrand Larsen will be working in the intersection between two computer science discipline: model checking and machine learning. One of these, model checking, performs extremely precise but therefore also complicated and time-consuming analyses of embedded software systems with the purpose of offering absolute guarantees. The other, machine learning, is a field which uses statistical methods with the purpose of learning models for prediction and optimisation. By combining the two fields, the road is paved for new, far more scalable techniques, methods and tools.

According to Kim Guldstrand Larsen, ”it is a matter of our by now having IT everywhere. This IT uses sensors and embedded computers for controlling all kinds of processes and systems in the physical reality. This may be IT systems for driverless cars, intelligent houses or the coordination of energy consumption. The complexity of our IT systems is continuously increasing, and we need to take a close look at the basic techniques, algorithms and mathematical models and improve them in order to create a new generation of scalable tools for the IT systems of the future “.

Kim Guldstrand Larsen will go to Rennes for the first time at the end of June, and he is looking forward to embarking on the professorship. ”Receiving the visiting professorship is a very big honour. Acknowledgement at this level is rare, and at the same time it serves to underline the importance and quality of the research that takes place at the Department of Computer Science at Aalborg University,” says Kim Guldstrand Larsen, who is looking forward to maintaining and developing the collaboration with INRIA, which is home to an outstanding IT research environment.

Facts about INRIA:

  • 4500 scientific publications a year
  • 1800 researchers
  • 1200 PhD students
  • Annual budget EUR 230m
  • 8 branches in France

For more information, please contact:
Kim Guldstrand Larsen, Professor, Department of Computer Science,  Aalborg University, tel. +45 2217 1159.