Ingo Dahn

2004 - 2006 TELCERT

Technology Enhanced Learning - European Requirements, Certification and Testing

Profiling of Specifications and Conformance Testing

2002 - 2004 Mobilearn

Mobile Learning with a Service Oriented Architecture

2000 - 2003 Trial-Solution

Tools for Reausable Integrated Adaptable Learning - Services for Learning Using Tested Interoperable Objects and Networking

Advanced personalization of structured documents

1992 - 1998 ILF

Integrated Logic Functions

Integration of automated and interactive theorem provers; natural language proof presentation