Prof. Dr. Holger Prof. Dr. Schlingloff

Projects

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
11/2002 - 05/2003	MMiSS - MultiMedia Instruction in Safe Systems
05/2002 - 09/2002	AG7dot.com-Informatik an Bremer Schulen