Fraunhofer FOKUS develops solutions for the communication systems of tomorrow. As an independent research body the institute explores how communication networks will contribute to a more convenient and more secure living. Thus, the institute addresses important challenges in the society, including access to information, economic and sustainable use of resources, smart mobility and a modern governmental administration that is efficient as well as accessible from everywhere. Fraunhofer FOKUS is an important link between industry, governmental administration and the people.
Fraunhofer FOKUS will, together with the other partners, define specification languages for C++ and Java. This will allow the formal description of functional and security properties for programs written in these languages. Fraunhofer FOKUS will also develop test cases for the verification tools developed by KU Leuven and CEA LIST.
Jens Gerlach is Research Manager Verification in the Department for Quality Assurance of Embedded Systems (QUEST) at Fraunhofer FOKUS in Berlin.
His main interests are consulting and research in the field of static analysis of embedded software. Jens Gerlach has a Ph.D. from TU Berlin.