Meet professor Kim Guldstrand Larsen, one of the initiators behind DIREC


Meet Kim Guldstrand Larsen, one of the initiators behind DIREC

The increasing use of software-driven systems such as intelligent traffic control or energy supply in our society gives rise to a growing need to check these programs for errors before they are implemented.

DIREC has interviewed Professor Kim Guldstrand Larsen from the Department of Computer Science at Aalborg University, who is exploring how to create programs without errors for example by developing programs that can check other programs for errors. He is manager of the part of DIREC that deals with software verification, and he explains in this video how top-level research in cyber-physical systems makes a difference for companies and for our society.

Kim Guldstrand Larsen sees it as an enormous strength to be able to work together across the computer science departments and companies in Denmark to meet the research and societal challenges. He is therefore one of the initiators behind DIREC, the goal of which is to make Denmark attractive for foreign researchers.

Watch the interview here (in Danish):


MOVEP 2022

PhD summer school

MOVEP 2022

15th Summer School on Modelling and Verification of Parallel Processes

MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.

The organisation committee is closely monitoring the COVID situation. Currently, we are planning for an in-person school in Aalborg with the possibility for remote participation for those that cannot attend in person. Should it become necessary, the school will be held virtually.

  • Giovanni Bacci, AAU
    From Bisimulaltions to Metrics via Couplings
  • David Baelde, ENS RENNES & IRISA
    Formal Proofs of Cryptographic Protocols with Squirrel
  • Christel Baier, Technische Universität Dresden
    From verification to causality-based explications
  • Wojciech Czerwinski, University of Warsaw
    The reachability problem for vector addition systems
  • Bartek Klin, Oxford University
    Computation theory over sets with atoms
  • Laura Kovacs, Vienna University of Technology
    First-order theorem proving and vampire
  • Anca Muscholl, Labri & Université Bordeaux
    A view on string transducers
  • Nir Piterman, Chalmers University of Technology
    Reactive synthesis Amaury Pouly, IRIF – Linear Dynamical Systems: Reachability and invariant generation
  • Renaud Vilmart, LMF & INRIA
    How to verify quantum processes
Target group

PhD students

  • Dept. of Computer Science, Aalborg University
  • The VILLUM Investigator Center S4OS “Scalable analysis and Synthesis of Safe, Secure and Optimal Strategies for Cyber-Physical Systems”
  • DIREC – Digital Research Centre Denmark