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)

Current Projects → We are hiring! Job offer in German

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

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
PC member of the 3rd Global Conference on Artificial Intelligence (GCAI 2017), Miami, USA, 18-22 October 2017
Member of the organising committee of the Deduktionstreffen 2017 in connection with KI 2017, Dortmund, Germany, 25-26 September 2017
PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Vienna, Austria, 30 August-01 September 2017
PC member of the 6th Workshop on the Reliability of Intelligent Environments (WoRIE’17) in connection with 13th Conference on Intelligent Environments (IE'17) , Seoul, South-Korea, 21-25 August 2017
PC member of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017), Melbourne, Australia, 19-20 August 2017
PC member of the Workshop on AI for Internet of Things in connection with IJCAI 2017, Melbourne, Australia, 19th August 2017
PC member of the 9th International Conference on Knowledge Science, Engineering and Management (KSEM 2016), Passau, Germany, 05-07 October 2016
PC member of the 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany, 29 September-01 October 2016
Member of the organising committee of the Deduktionstreffen 2016 in connection with KI 2016, Klagenfurt, Austria, 26th September 2016
PC member of the DChanges 2016 in connection with DocEng 2016, Vienna, Austria, 12th September 2016
PC member of the 5th Workshop on the Reliability of Intelligent Environments (WoRIE’16) in connection with 12th Conference on Intelligent Environments (IE'16) , London, UK, 12-13 September 2016
PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Limassol, Cyprus, 31 August-02 September 2016
PC member of the International Conference on Intelligent Computer Mathematics (CICM'16), Bialystok, Poland, 25-29 July 2016
Co-chair & Co-organizer of the 12th Workshop on User Interfaces for Theorem Provers (UITP 2016) in connection with IJCAR 2016, Coimbra, Portugal, 02nd July 2016
PC member of the Zukunft Lebensräume Kongress, Frankfurt am Main, Germany, 20-21 April 2016

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 "Dialog@Home", Raum 1.05, Cartesium, (WiSe 2018/2019 until SoSe 2019)
Seminar: Interaktion in Intelligenten Umgebungen, Rotunde, Cartesium, Bremen University, (SoSe 2018)
Course (2+2): Korrekte Software: Grundlagen und Methoden, Bremen University, Di 12-14 & Mi 14-16 (SoSe 2018)
Student project: Student Master Project "Dialog@Home", Raum 1.05, Cartesium, (WiSe 2017/2018 until SoSe 2018)
Course (2+2): Korrekte Software: Grundlagen und Methoden, Bremen University, Di 12-14 & Do 14-16 (SoSe 2017)

Complete list

Thesis Topics

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