DFKI - Serge Autexier

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).'

Interests

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)

Projects

VeryHuman: Learning and Verifying Complex Behaviour of Humanoid Robots (BMBF, 2020-2024)
AdaMeKoR:Adaptive multicomponent robot system for nursing care (BMBF, "Forschungsprogramm zur Mensch-Technik-Interaktion: Technik zum Menschen bringen", Förderschwerpunkt "Robotische Systeme für die Pflege", 2020-2023)

KosmoS: Cooperative, modular, mobile Smart Life Lab (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", 2020-2023)

ASCAPE: Artificial intelligence Supporting CAncer Patients across Europe (EU, Call Topic H2020-SC1-DTH-2018-2020 "Big data and Artificial Intelligence for monitoring health status and quality of life after the cancer treatment", 2020-2022)
Fast&Slow: Combination of Symbolic and Subsymbolic Methods (BMBF, 2019-2022)
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: AI-Space for Intelligent Health-Systems (4.2020-3.2023, 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-2020, BMBF, KMU-Innovativ)
Selfie: Self-Verification of Electronic Systems (2016-2019, BMBF)

Services to the Scientific Community

PC member of the 17th International Conference on Intelligent Environments, Dubai, United Arab Emirates, 21-24 June 2021
PC member of the 10th Workshop on the Reliability of Intelligent Environments (WoRIE’20) in connection with 17th Conference on Intelligent Environments (IE'20) , Dubai, UAE, 21-22 June 2021
PC member of the International Conference of Key Enabling Technologies in Cybersecurity (KETSec 2020), Cancun, Mexiko, 16-19 December 2020
PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Portorož, Slovenia, 26-28 August 2020
PC member of the 9th Workshop on the Reliability of Intelligent Environments (WoRIE’20) in connection with 16th Conference on Intelligent Environments (IE'20) , Madrid, Spain, 22-25 June 2020
PC member of the 6th Global Conference on Artificial Intelligence (GCAI 2020) in connection with Zhejiang Logic for AI Summit (ZjuLogAI 2020), Hangzhou, China, 06-09 April 2020
PC member of the 42nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, 23-26 September 2019
Member of the organising committee of the Deduktionstreffen 2019 in connection with KI 2019, Kassel, Germany, 23-24 September 2019

Complete list

Publications, Talks, CV, & others

Recent Publications
- Complete List (or else at DBLP, Google Scholar, CiteSeer)
Talks (incomplete)
Curiculum vitae
My PGP Public Key is available on request

Teaching

Student project: Student Bachelor Project "iJames@Home", Raum 1.05, Cartesium, (WiSe 2020/2021 until SoSe 2021)
Course (2+2): Korrekte Software: Grundlagen und Methoden, Bremen University, Di 12-14 & Do 8-10 (SoSe 2020)

Complete list

Systems and Tools

The SHIPTool: Implementation, Execution and Simulation Platform for Interactive Workflow Assistance and Monitoring Processes, developed in the SHIP project (also presented at Cebit 2013)
The Generic Change Management Framework GMoc for automatic semantic annotation, semantic difference analysis and semantic change impact analysis)
The Document and Tool Integration Platform DocTIP
The mathematical assistance system OMEGA
The development graph manager MAYA
The inductive theorem prover INKA 5.0

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

We are hiring, please check our job openings!