Skip to main content
HATS HATS

Main menu

  • Home
  • About HATS
    • Consortium
    • Project Overview
  • News
  • Deliverables
  • Projects and Tools
  • Case Studies
  • End-User Panel
  • Scientific Advisory Board
  • Related Conferences
  • Vacancies
  • Contact
  • About this Website
  • Privacy Policy
  • Datenschutzerklärung

You are here

Home › About HATS

Consortium

Institution Lead Researchers Country
Technische Universität Darmstadt
Reiner Hähnle (coordinator)
Richard Bubel
Germany
Chalmers University of Technology, Gothenburg Wolfgang Ahrendt Sweden
Universitetet i Oslo Einar Broch Johnsen,
Martin Steffen
Norway
Kungliga Tekniska Högskolan, Stockholm Mads Dam
Dilian Gurov
Karl Meinke
Sweden
Universidad Politécnica de Madrid &
IMDEA Software
German Puebla
Samir Genaim
Gilles Barthe
Manuel Hermenegildo
Elvira Albert
Puri Arenas
Spain
Universität Kaiserslautern Arnd Poetzsch-Heffter
Yannick Welsch
Germany
Università di Bologna Davide Sangiorgi
Cosimo Laneve
Italy
Centrum voor Wiskunde en Informatica, Amsterdam Frank de Boer The Netherlands
Norsk Regnesentral, Oslo Bjarte Østvold
Anders Moen Hagalisletto
Norway
Fredhopper, Amsterdam Nikolay Diakov
Peter Wong
The Netherlands
Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern Karina Villela Germany
Katholieke Universiteit Leuven Dave Clarke
Frank Piessens
Belgium
Institute of Cybernetics Tarmo Uustalu
Peeter Laud
Keiko Nakata
Estonia

 


 

Login

  • Request new password