Thomas Polacsek

Research Scientist at ONERA (the French aerospace research center) since 2009, in Modeling and Information Processing Department (DTIM).

Thomas Polacsek work in the context of European projects, with stakeholders in the aeronautic industry, and also with certification authorities on: links between models and source code for software verification, support the Verification and Validation of system (by using argumentation) and the use of formal methods for specification of information exchange policies.

List of publications