S. Autexier's Portrait Dr. Serge Autexier
Director of the Bremen Ambient Assisted Living Lab (BAALL)
DFKI Research Fellow
Senior Researcher in the
Research Department Cyber-Physical Systems
DFKI Bremen
Cartesium, Room 1.49
Enrique-Schmidt-Str. 5
28359 Bremen
(Directions to the Cartesium)
Email: {firstname}.{lastname}@dfki.de
Tel: +49 421 218 59834
Fax: +49 421 218 98 59834

Having a background in Computer Science (Diploma (MSc) in 1996 and doctoral degree (Dr.-Ing.) in 2003 both from Saarland University), I was a member of the AG Siekmann from 1996 to 2008, first at Saarland University and from January 2002 as a member of the Deduction and Multiagentsystems Lab at DFKI. From April 2004 Christoph Benzmüller and I were leading the OMEGA group at Saarland University. In July 2008 I moved to the Cyber-Physical Systems (formerly Safe and Secure Cognitive Systems) group at the DFKI Site in Bremen. Since February 2014 I am the Head of the 'Bremen Ambient Assisted Living Lab (BAALL).'

  • Ambient Assisted Living, Intelligent/Smart Environments (see BAALL)
  • Automated reasoning, especially inductive theorem proving, difference reduction techniques, proof-planning, abstractions, Logical Frameworks
  • Software engineering, especially formal methods, tools supporting the formal software development process
  • Change Management and Change Impact Analysis (Semantic, domain specific difference analysis and change impact analysis)
Current Projects
  • ConText: Textile surfaces for electrical supply, information technology communication and intuitive interaction with IoT devices in the Smart Home (2019-2022, BMBF, "Forschungsprogramm zur Mensch-Technik-Interaktion: Technik zum Menschen bringen", Förderschwerpunkt "Innovations- und Technologiepartnerschaften für die Mensch-Technik-Interaktion: Intelligente, vernetzte Gegenstände für den Alltag")
  • KI-SIGS: KI-Space for Intelligent Health-Systems (4.2019-8.2019, BMWI, Innovationswettbewerb "Künstliche Intelligenz als Treiber für volkswirtschaftlich relevante Ökosysteme")
  • INTUITIV: Intuitive-nonverbal and informative-verbal robot-human communication (2018-2021, BMBF, "Forschungsprogramm zur Mensch-Technik-Interaktion: Technik zum Menschen bringen", Förderschwerpunkt "Roboter für Assistenzfunktionen: Interaktionsstrategien")
  • SMILE: Smart Environments als Kontext motivierender Lernangebote für Mädchen für einen wachsenden Anteil von Informatikerinnen durch Einbezug von Lehrkräften und Eltern (2017-2020, BMBF, "Erfolg mit MINT - Neue Chancen für Frauen")
  • CrowdHEALTH: Collective wisdom driving public health policies (2017-2020, EU, Horizon 2020, Call H2020-SC1-PM-18-2016, more information is coming soon)
  • ModESt: Walker-module for posture-recognition and fall-prevention (2017-2019, BMBF, KMU-Innovativ)
  • Selfie: Self-Verification of Electronic Systems (2016-2019, BMBF)
Services to the Scientific Community
Publications, Talks, CV, & others

Systems and Tools
Legal information / Impressum

Dr. Serge Autexier, DFKI GmbH, Enrique-Schmidt-str. 5, 28359 Bremen, Germany
Tel.: +49 421 218 59834, Email: {firstname}.{lastname}@dfki.de
DFKI (employer)
Data privacy protection/Datenschutz - Legal Information/Impressum

University of Bremen (webpage hoster)
Data privacy protection/Datenschutz - Legal Information/Impressum

Last Updated: Tue, 19 Nov 2019 21:34:24 +0100