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

RE-SAMPLE: REal-time data monitoring for Shared, Adaptive, Multi-domain and Personalised prediction and decision making for Long-term Pulmonary care Ecosystems (EU, 2021-2025)
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

Member of the organising committee of the Deduktionstreffen 2022 in connection with KI 2022, Trier, Germany, 19-20 September 2022
PC member of the 22nd European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Grenoble, France, 19-23 September 2022
PC member of the 15th International Conference on Intelligent Computer Mathematics (CICM'22), Tbilisi, Georgia, 19-23 September 2022
PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Maspalomas, Gran Canaria, Spain, 31 August-02 September 2022
PC member of the 15th International Conference on Knowledge Science, Engineering and Management (KSEM 2022), Singapore, 06-08 August 2022
PC member of the 11th Workshop on the Reliability of Intelligent Environments (WoRIE’22) in connection with 18th International Conference on Intelligent Environments (IE 2022), Biarritz, France, 20-23 June 2022
PC member of the 1st Workshop on Artificial Intelligence and Internet of Things for Digital Health (AIIOT4DH) in connection with Conference on Connected Health Applications, Systems, and Engineering Technologies (CHASE 2021), Washington DC, USA , 16-17 December 2021
PC member of the 14th International Conference on Knowledge Science, Engineering and Management (KSEM 2021), Tokyo, Japan, 14-16 August 2021
PC member of the 10th Workshop on the Reliability of Intelligent Environments (WoRIE’21) in connection with 17th Conference on Intelligent Environments (IE'21) , Dubai, UAE, 21-22 June 2021
PC member of the 17th International Conference on Intelligent Environments, Dubai, United Arab Emirates, 21-24 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 13th International Conference on Knowledge Science, Engineering and Management (KSEM 2020), Hanghzou, China, 28-30 August 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

Complete list

Publications, Talks & others

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

Teaching

Course (2+2): Korrekte Software: Grundlagen und Methoden, Bremen University, Di 10:15-11:45 & Do 8:30-10 (SoSe 2022)
Course (2+2): Korrekte Software: Grundlagen und Methoden, Bremen University, Di 10:15-11:45 & Do 8:30-10 (SoSe 2021)

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