Posted on May 30th, 2010

The following researchers are working on the project:

Thomas Ågotnes (project leader) is an expert on the use of formal methods in the field of multi-agent systems (MAS). He has authored a number of research papers, and is very active in the international MAS research community. He is currently a member of the advisory board of EUMAS, the main European MAS event, and of the senior programme committee for IJCAJ, the main international event in the field of artificial intelligence. Ågotnes’ work has focussed on logical methods, including model checking. In particular, he has worked on the logics CTL and ATL, and on the specification of robustness properties. Ågotnes has previously led on project financed by Forskningsrådet (166525 Modifications and Applications of Alternating-time Temporal Epistemic Logic). He is the leader of the DISTECH (Software Technologies for Distributed Systems) research programme at HiB; one of the institution’s three strategic research programmes comprising 8 permanent researchers and a number of PhD students. (homepage)

Håvard Helstrup is an expert on the use of grid computing systems. He has long experience in development, operation and maintenance of offline analysis software for heavy ion experiments. These experiments are known to produce extreme data rates and volumes, and require a significant data production effort in order to extract physics observables for final analysis and comparison to physics models. Helstrup was responsible for the production software development and new generation heavy ion experiment of the LHC era (ALICE) will use Grid techniques to handle the data production effort, which has grown by orders of magnitude since the last generation experiments. Helstrup has been involved in the setup of grid software for ALICE computing in Bergen since the beginning, and is nominated coordinator for ALICE offline and grid activities in Norway. he is a member of the NDGF (Nordic Data Grid Facility) CERN committee, overlooking the operation of the NDGF distributed Tier-1 centre for LHC computing.  (homepage)

Lars Michael Kristensen has more than 10 years of research experience in the development and the application of formal modelling and model checking techniques. A main focus of his research has been the theoretical foundation of model checking techniques. A main focus of his research has been the theoretical foundation of model checking and its implementation in computer tools. Important research contributions have been the development of the sweep-line model checking method, two variants of the stubborn set model checking method, and the comeback method. A strong focus has also been on evaluating the research results in industrial cooperation projects. He has acted as primary investigator on several larger research projects funded by research councils and government agencies, supervised postdocs and PhD students in relation to these projects, and served on a number of international programme committees and boards within his field of research. He has recently co-authored a textbook on the Coloured Petri Nets modelling language and associated model checking techniques (Springer). In 2007, he received the Danish Independent Research Council’s Young Researcher’s Award. (homepage)

Yngve Lamo is an expert in formal methods for computer science. His main focus is Model Driven Engineering and formalization of diagrammatic methods for MDE, category theory and logic. Lamo is the leader of the Diagrammatic Predicate Framework project (join project with UiB), which currently includes 3 professors, 2 PhD students and 3 master students. He led the development of the masters programme in software development at HiB, and he has been the academic leader of this programme since the start in 2004. Lamo has several academic responsibilities both local nationally and internationally. (homepage)

Kristin Hetland has experience from analysing large amounts of data coming from heavy ion experiments. She was for several years responsible for one of the programs in the analysis chain used by the WA97 and NA57 experiments at CERN. She is a member of the ALICE Collaboration at CERN and of the group responsible for the Norwegian ALICE Grid activities, and this is now her main activity. (homepage)


Sami Taktak

PhD students:

Florian Mantz
Piotr Kaźmierczak

National and international collaboration:

Michael Wooldridge, University of Liverpool, UK. The Agent ART group in Liverpool is one of the leading research groups in the multi-agents field. Wooldridge’s particular research interests include the use of logic/formal methods for reasoning about multi-agent systems. he was elected a AAAI Fellow in 2008, an ECCAI Fellow in 2007 and was the recipient of the ACM Autonomous Agents Research Award in 2006. In 1997, he founded AgentLink, the EC-founded European Network of Excellence in the area of agent-based computing. he has published more then 200 articles, many of them available on his homepage. We have had active and productive collaborations with Wooldridge and other members of the Agent ART group over several years.

Gabriele Taentzer and Bernd Freisleben, Philips University, Marburg, Germany. Taentzner’s research interest includes Model-driven software development, Object oriented techniques and languages and graph transformations, and their applications. She is a well established researcher with more than 100 publications. Bernd Freisleben and the Distributed Systems Group conducts research in services and tools for Grid Computing. For the project Taentzner’s expertise in leading open source tool development projects will be of great value. Our collaboration with Taentzner started in 2008 in developing Eclipse based tools for model transformations based on a diagrammatic specification framework.

Furthermore, we collaborate closely with University of Bergen (UiB). We currently have an active and productive research collaboration with the Department of Informatics (Rossini, Wolter) on category theory-based MDE, which the FORMGRID project greatly will contribute to sustain. We also collaborate closely with the Department of Informatics and Department of Information Science and Media Studies on the PhD training and studies.

Written by Piotr Kaźmierczak on May 30th, 2010