This project has received funding from the EUís Horizon 2020 programme for research, technological development and demonstration under grant agreement no 644905.

Contacts

TALLINN UNIVERSITY OF TECHNOLOGY
Prof. Dr. Jaan Raik (coordinator)
Position: Professor
Phone 1: +372 620 2257
Phone 2: +372 55 13141
Fax: +372 620 2253
E-mail: jaan.raik@ati.ttu.ee
Address: Department of Computer Engineering, Akadeemia 15a, 12618 Tallinn, Estonia

DLR (Deutsches Zentrum für Luft- und Raumfahrt)
Prof. Dr. Görschwin Fey
Position: Professor
Phone: +49-421-24420-1272
Fax: +49-421-24420-1120
E-mail: goerschwin.fey@dlr.de
Address: Abteilung Avioniksysteme, Institut für Raumfahrtsysteme, Deutsches Zentrum für Luft- und Raumfahrt e.V., Robert-Hooke-Str. 7, 28359 Bremen

TECHNISCHE UNIVERSITÄT GRAZ
Prof. Dr. Roderick Bloem
Position: Professor
Phone: +43 316 873 5580
Fax: +43 316 873 105580
E-mail: roderick.bloem@iaik.tugraz.at
Address: Technische Universität Graz, IAIK, Inffeldgasse 16a, 8010 Graz, Austria

UNIVERSITY OF TWENTE
Dr.ir. Hans G. Kerkhoff
Position: Associate Professor
Phone: +31 534892646
Mob.: +31 622563782
E-mail: H.G.Kerkhoff@utwente.nl
Address: University of Twente,Postbox 217, 7500AE Enschede The Netherlands

IBM ISRAEL - SCIENCE AND TECHNOLOGY LTD
Mr. Eli Arbel 
Position: Manager, Formal Verification Technologies
Phone: +972-4-829-6515
Fax: +972-4-829-6114
E-mail: ARBEL@il.ibm.com
Address: IBM Haifa Labs, Haifa University Campus, Mount Carmel, Haifa 31905, Israel 

OÜ TESTONICA LAB
Dr. Artur Jutman
Position: Director
Phone: +372 5179012
Fax: +372 620 2253
E-mail: artur@testonica.com
Address: Akadeemia tee 15a, 12618 Tallinn, Estonia

Dr. Sergei Devadze
Phone: +372 5050615
E-mail: sergey@testonica.com

RECORE SYSTEMS
Dr. Kim Sunesen
Position: Project Manager
Phone: +31 53 4753 000
Fax: +31 53 4753 009
Email: info@recoresystems.com
http://www.recoresystems.com/contact/contact/
Address: P.O. Box 77, 7500 AB Enschede, The Netherlands

News