Prof. Dr. Holger Prof. Dr. Schlingloff

Organisational Affiliations

12/2025 - 11/2026	EXIST Grant: „Lexgraph“
01/2023 - 12/2025	AMVAD
02/2017 - 04/2020	CrESt Modelbased development of collaborative embedded systems
02/2014 - 12/2017	Big Data Analytics using the example of finance data
01/2013 - 12/2014	Research on Validation, Verification and Testing of Embedded Railway Applications
06/2009 - 04/2012	Logical analysis and formal verification of open and interactive multi-agent systems
03/2005 - 06/2006	Prosafe
06/2004 - 05/2005	Stipendium für Herrn Mishra