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

AdaMeKoR:Adaptives Mehrkomponenten-Robotersystem für die Pflege (BMBF, "Forschungsprogramm zur Mensch-Technik-Interaktion: Technik zum Menschen bringen", Förderschwerpunkt "Robotische Systeme für die Pflege", 2020-2023)

KosmoS: Kooperatives, modulares, mobiles 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.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-2020, BMBF, KMU-Innovativ)
Selfie: Self-Verification of Electronic Systems (2016-2019, BMBF)

Services to the Scientific Community

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
Member of the organising committee of the Deduktionstreffen 2019 in connection with KI 2019, Kassel, Germany, 23-24 September 2019
PC member of the 42nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, 23-26 September 2019
PC member of the 4th Global Conference on Artificial Intelligence (GCAI 2018), Luxembourg City, Luxembourg, 17-19 September 2018
PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Prague, Czech Republic, 29-31 August 2018
PC member of the DChanges 2018 in connection with DocEng 2018, Halifax, Canada, 28th August 2018
PC member of the 11th International Conference on Knowledge Science, Engineering and Management (KSEM 2018), Changchun, China, 17-19 August 2018
PC member of the 13th Workshop on User Interfaces for Theorem Provers (UITP 2018) in connection with FLoC 2018, Oxford, UK, 13th July 2018
PC member of the 7th Workshop on the Reliability of Intelligent Environments (WoRIE’18) in connection with 14th Conference on Intelligent Environments (IE'18) , Rome, Italy, 25-28 June 2018

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

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

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